{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T11:12:26Z","timestamp":1780485146451,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100010198","name":"Army Research Laboratory","doi-asserted-by":"publisher","award":["FA5209-19-P-A056"],"award-info":[{"award-number":["FA5209-19-P-A056"]}],"id":[{"id":"10.13039\/100010198","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","award":["PDSE-88881.187082\/2018-01"],"award-info":[{"award-number":["PDSE-88881.187082\/2018-01"]}]},{"DOI":"10.13039\/100014819","name":"U.S. Army Combat Capabilities Development Command","doi-asserted-by":"publisher","award":["FA5209-19-P-A056"],"award-info":[{"award-number":["FA5209-19-P-A056"]}],"id":[{"id":"10.13039\/100014819","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3374016","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T17:55:36Z","timestamp":1592243736000},"page":"1180-1189","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Performability analysis of services in a software-defined networking adopting time-based moving target defense mechanisms"],"prefix":"10.1145","author":[{"given":"J\u00falio","family":"Mendon\u00e7a","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jin-Hee","family":"Cho","sequence":"additional","affiliation":[{"name":"Virginia Tech"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Terrence J.","family":"Moore","sequence":"additional","affiliation":[{"name":"US Army Research Laboratory"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frederica F.","family":"Nelson","sequence":"additional","affiliation":[{"name":"US Army Research Laboratory"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hyuk","family":"Lim","sequence":"additional","affiliation":[{"name":"Gwangju Institute of Science and Technology, Gwangju, Republic of Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Armin","family":"Zimmermann","sequence":"additional","affiliation":[{"name":"Ilmenau University of Technology, Ilmenau, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dong Seong","family":"Kim","sequence":"additional","affiliation":[{"name":"University of Queensland, Brisbane, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103626.1103633"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-2209-8_16"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2014.6883401"},{"key":"e_1_3_2_1_4_1","volume-title":"Introduction to Discrete Event Systems","author":"Cassandras C.G.","unstructured":"C.G. Cassandras and Stephane Lafortune . 2010. Introduction to Discrete Event Systems ( 2 nd ed.). Springer Publishing Company, Inc orporated. 800 pages. C.G. Cassandras and Stephane Lafortune. 2010. Introduction to Discrete Event Systems (2nd ed.). Springer Publishing Company, Incorporated. 800 pages.","edition":"2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064212.1064253"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2018.2882825"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60834-1_20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36612-1_12"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2017.37"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2015.2443790"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2010.91"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.250101"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342467"},{"key":"e_1_3_2_1_15_1","volume-title":"2009 15th IEEE Pacific Rim International Symposium on Dependable Computing. 365--371","author":"Kim D. S.","unstructured":"D. S. Kim , F. Machida , and K. S. Trivedi . 2009. Availability Modeling and Analysis of a Virtualized System . In 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing. 365--371 . D. S. Kim, F. Machida, and K. S. Trivedi. 2009. Availability Modeling and Analysis of a Virtualized System. In 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing. 365--371."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808475.2808485"},{"key":"e_1_3_2_1_18_1","volume-title":"Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. In 2011 IEEE 30th International Symposium on Reliable Distributed Systems. 209--218","author":"Machida F.","unstructured":"F. Machida , E. Andrade , D. S. Kim , and K. S. Trivedi . 2011 . Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. In 2011 IEEE 30th International Symposium on Reliable Distributed Systems. 209--218 . F. Machida, E. Andrade, D. S. Kim, and K. S. Trivedi. 2011. Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML. In 2011 IEEE 30th International Symposium on Reliable Distributed Systems. 209--218."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2995272.2995273"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18086-9_23"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2003.1200305"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2018.00032"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675654"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3150959"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0977-9_3"},{"key":"e_1_3_2_1_28_1","volume-title":"A Survey of Moving Target Defenses for Network Security. (may","author":"Sengupta Sailik","year":"2019","unstructured":"Sailik Sengupta , Ankur Chowdhary , Abdulhakim Sabur , Dijiang Huang , Adel Alshamrani , and Subbarao Kambhampati . 2019. A Survey of Moving Target Defenses for Network Security. (may 2019 ). arXiv:1905.00964 http:\/\/arxiv.org\/abs\/1905.00964 Sailik Sengupta, Ankur Chowdhary, Abdulhakim Sabur, Dijiang Huang, Adel Alshamrani, and Subbarao Kambhampati. 2019. A Survey of Moving Target Defenses for Network Security. (may 2019). arXiv:1905.00964 http:\/\/arxiv.org\/abs\/1905.00964"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom\/BigDataSE.2018.00088"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763599.1763639"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference, DSN.","author":"Silva Bruno","year":"2015","unstructured":"Bruno Silva , Rubens Matos , Gustavo Callou , Jair Figueiredo , Danilo Oliveira , Joao Ferreira , Jamilson Dantas , Aleciano Lobo , Vandi Alves , and Paulo Maciel . 2015 . Mercury: An integrated environment for performance and dependability evaluation of general systems . In Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference, DSN. Bruno Silva, Rubens Matos, Gustavo Callou, Jair Figueiredo, Danilo Oliveira, Joao Ferreira, Jamilson Dantas, Aleciano Lobo, Vandi Alves, and Paulo Maciel. 2015. Mercury: An integrated environment for performance and dependability evaluation of general systems. In Proceedings of Industrial Track at 45th Dependable Systems and Networks Conference, DSN."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.2184"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"e_1_3_2_1_34_1","volume-title":"Stochastic Discrete Event Systems","author":"Zimmermann Armin","unstructured":"Armin Zimmermann . 2007. Stochastic Discrete Event Systems . Springer . Armin Zimmermann. 2007. Stochastic Discrete Event Systems. Springer."},{"key":"e_1_3_2_1_35_1","volume-title":"Quantitative Evaluation of Systems","author":"Zimmermann Armin","unstructured":"Armin Zimmermann . 2017. Modelling and Performance Evaluation with TimeNET 4.4 . In Quantitative Evaluation of Systems , Nathalie Bertrand and Luca Bortolussi (Eds.). Springer International Publishing , Cham , 300--303. Armin Zimmermann. 2017. Modelling and Performance Evaluation with TimeNET 4.4. In Quantitative Evaluation of Systems, Nathalie Bertrand and Luca Bortolussi (Eds.). Springer International Publishing, Cham, 300--303."}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","location":"Brno Czech Republic","acronym":"SAC '20","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374016","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3374016","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3374016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:30Z","timestamp":1750199910000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":34,"alternative-id":["10.1145\/3341105.3374016","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3374016","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}