{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:23:40Z","timestamp":1759134220990,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T00:00:00Z","timestamp":1527465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-16-1-0248"],"award-info":[{"award-number":["FA8750-16-1-0248"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,28]]},"DOI":"10.1145\/3194133.3194139","type":"proceedings-article","created":{"date-parts":[[2018,7,23]],"date-time":"2018-07-23T13:02:25Z","timestamp":1532350945000},"page":"149-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Toward evaluating the impact of self-adaptation on security control certification"],"prefix":"10.1145","author":[{"given":"Allen","family":"Marshall","sequence":"first","affiliation":[{"name":"University of Tulsa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharmin","family":"Jahan","sequence":"additional","affiliation":[{"name":"University of Tulsa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rose","family":"Gamble","sequence":"additional","affiliation":[{"name":"University of Tulsa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"NIST. 2013. Security and Privacy Controls for Federal Information Systems. NIST Special Publication 800-53 Revision 4.  NIST. 2013. Security and Privacy Controls for Federal Information Systems. NIST Special Publication 800-53 Revision 4."},{"key":"e_1_3_2_1_2_1","unstructured":"NIST. 2014. Assessing Security and Privacy Controls in Federal Information Systems and Organizations. NIST Special Publication 800-53A Revision 4.  NIST. 2014. Assessing Security and Privacy Controls in Federal Information Systems and Organizations. NIST Special Publication 800-53A Revision 4."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318622"},{"key":"e_1_3_2_1_4_1","volume-title":"Autonomic Computing White Paper","author":"An Architectural IBM.","year":"2005","unstructured":"IBM. 2005. \" An Architectural Blueprint for Autonomic Computing\" , Autonomic Computing White Paper , 3 rd Edition, IBM , USA , June 2005 , available at http:\/\/www-03.ibm.com\/autonomic\/pdfs\/AC%20Blueprint%20White%20Paper%20V7.pdf. IBM. 2005. \"An Architectural Blueprint for Autonomic Computing\", Autonomic Computing White Paper, 3rd Edition, IBM, USA, June 2005, available at http:\/\/www-03.ibm.com\/autonomic\/pdfs\/AC%20Blueprint%20White%20Paper%20V7.pdf.","edition":"3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0308-3"},{"volume-title":"Proceedings of the 51st Hawaii International Conference on System Sciences.","author":"Marshall A.","key":"e_1_3_2_1_6_1","unstructured":"A. Marshall , S. Jahan , and R. Gamble . 2018. Assessing the Risk of an Adaptation using Prior Compliance Verification . Proceedings of the 51st Hawaii International Conference on System Sciences. A. Marshall, S. Jahan, and R. Gamble. 2018. Assessing the Risk of an Adaptation using Prior Compliance Verification. Proceedings of the 51st Hawaii International Conference on System Sciences."},{"key":"e_1_3_2_1_7_1","first-page":"31","article-title":"Perpetual Assurances for Self-Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science","volume":"9640","author":"Weyns D.","year":"2017","unstructured":"D. Weyns , N. Bencomo , R. Calinescu , J. Camara , C. Ghezzi , V. Grassi , L. Gurnske , P. Inverardi , J.-M. Jezequel , S. Malek , R. Mirandola , M. Mori , and G. Tamburrelli . 2017 . Perpetual Assurances for Self-Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science , Springer , vol. 9640 , pp. 31 -- 63 . D. Weyns, N. Bencomo, R. Calinescu, J. Camara, C. Ghezzi, V. Grassi, L. Gurnske, P. Inverardi, J.-M. Jezequel, S. Malek, R. Mirandola, M. Mori, and G. Tamburrelli. 2017. Perpetual Assurances for Self-Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science, Springer, vol. 9640, pp. 31--63.","journal-title":"Springer"},{"key":"e_1_3_2_1_8_1","first-page":"214","article-title":"Uncertainty in Self-Adaptive Software Systems. In R. de Lemos, H. Giese, H. M\u00fcller, and M. Shaw (eds) Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science","volume":"7475","author":"Esfahani N.","year":"2013","unstructured":"N. Esfahani , and S. Malek . 2013 . Uncertainty in Self-Adaptive Software Systems. In R. de Lemos, H. Giese, H. M\u00fcller, and M. Shaw (eds) Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science , Springer , vol. 7475 , pp. 214 -- 238 . N. Esfahani, and S. Malek. 2013. Uncertainty in Self-Adaptive Software Systems. In R. de Lemos, H. Giese, H. M\u00fcller, and M. Shaw (eds) Software Engineering for Self-Adaptive Systems II. Lecture Notes in Computer Science, Springer, vol. 7475, pp. 214--238.","journal-title":"Springer"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"e_1_3_2_1_10_1","first-page":"101","article-title":"Using Models at Runtime to Address Assurance for Self-adaptive Systems. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds.) Models@run.time","volume":"8378","author":"Cheng B.H.C.","year":"2014","unstructured":"B.H.C. Cheng , K.I. Eder , M. Gogolla , L. Grunske , M. Litoiu , H.A. M\u00fcller , P. Pelliccione , A. Perini , N.A. Qureshi , B. Rumpe , D. Schneider , F. Trollmann , and N.M. Villegas . 2014 . Using Models at Runtime to Address Assurance for Self-adaptive Systems. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds.) Models@run.time . LNCS , vol. 8378 , Spring er, pp. 101 -- 136 . B.H.C. Cheng, K.I. Eder, M. Gogolla, L. Grunske, M. Litoiu, H.A. M\u00fcller, P. Pelliccione, A. Perini, N.A. Qureshi, B. Rumpe, D. Schneider, F. Trollmann, and N.M. Villegas. 2014. Using Models at Runtime to Address Assurance for Self-adaptive Systems. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds.) Models@run.time. LNCS, vol. 8378, Springer, pp. 101--136.","journal-title":"LNCS"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.326"},{"key":"e_1_3_2_1_12_1","first-page":"101","article-title":"Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds.) Models@run.time","volume":"8378","author":"Bennaceur A.","year":"2014","unstructured":"A. Bennaceur , R. France , G. Tamburrelli , T. Vogel , P.J. Mosterman , W. Cazzola , F.M. Costa , A. Pierantonio , M. Tichy , M, Aksit, P. Emmanuelson , and H. Gang . 2014 . Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds.) Models@run.time . LNCS , vol. 8378 , Spring er, pp. 101 -- 136 . A. Bennaceur, R. France, G. Tamburrelli, T. Vogel, P.J. Mosterman, W. Cazzola, F.M. Costa, A. Pierantonio, M. Tichy, M, Aksit, P. Emmanuelson, and H. Gang. 2014. Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds.) Models@run.time. LNCS, vol. 8378, Springer, pp. 101--136.","journal-title":"LNCS"},{"key":"e_1_3_2_1_13_1","first-page":"10","volume-title":"Proceedings of the 2012 Workshop on European Software Services and Systems Research---Results and Challenges (S-Cube)","author":"Daubert E.","unstructured":"E. Daubert , F. Fouquet , O. Barais , G. Nain , G. Sunye , J.M. Jezequel , J.L. Pazat , and B. Morin , 2012. A Models@runtime Framework for Designing and Managing Service-based Applications . Proceedings of the 2012 Workshop on European Software Services and Systems Research---Results and Challenges (S-Cube) , pp. 10 -- 11 . E. Daubert, F. Fouquet, O. Barais, G. Nain, G. Sunye, J.M. Jezequel, J.L. Pazat, and B. Morin, 2012. A Models@runtime Framework for Designing and Managing Service-based Applications. Proceedings of the 2012 Workshop on European Software Services and Systems Research---Results and Challenges (S-Cube), pp. 10--11."},{"volume-title":"Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises.","author":"Loulou H.","key":"e_1_3_2_1_14_1","unstructured":"H. Loulou , S. Saudrais , H. Soubra , and C. Larouci . 2016. Adapting Security Policy at Runtime for Connected Autonomous Vehicles . Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises. H. Loulou, S. Saudrais, H. Soubra, and C. Larouci. 2016. Adapting Security Policy at Runtime for Connected Autonomous Vehicles. Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises."},{"key":"e_1_3_2_1_15_1","first-page":"137","article-title":"MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science","volume":"9640","author":"Sharifloo A.M.","year":"2017","unstructured":"A.M. Sharifloo , and A. Metzger . 2017 . MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science , Springer , vol. 9640 , pp. 137 -- 153 . A.M. Sharifloo, and A. Metzger. 2017. MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science, Springer, vol. 9640, pp. 137--153.","journal-title":"Springer"},{"key":"e_1_3_2_1_16_1","first-page":"279","article-title":"Safety Assurance of Open Adaptive Systems - A Survey. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds) Models@run.time. Lecture Notes in Computer Science","volume":"8378","author":"Trapp M.","year":"2014","unstructured":"M. Trapp , and D. Schneider . 2014 . Safety Assurance of Open Adaptive Systems - A Survey. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds) Models@run.time. Lecture Notes in Computer Science , Springer , vol. 8378 , pp. 279 -- 318 . M. Trapp, and D. Schneider. 2014. Safety Assurance of Open Adaptive Systems - A Survey. In N. Bencomo, R. France, B.H.C. Cheng, U. A\u00dfmann (eds) Models@run.time. Lecture Notes in Computer Science, Springer, vol. 8378, pp. 279--318.","journal-title":"Springer"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.02.062"},{"volume-title":"Proceedings 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.","author":"Coker Z.","key":"e_1_3_2_1_18_1","unstructured":"Z. Coker , D. Garlan , and C.L. Goues . 2015. SASS: Self-adaptation using Stochastic Search . Proceedings 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Z. Coker, D. Garlan, and C.L. Goues. 2015. SASS: Self-adaptation using Stochastic Search. Proceedings 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems."},{"key":"e_1_3_2_1_19_1","first-page":"154","article-title":"Analyzing Self-Adaptation Via Model Checking of Stochastic Games. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science","volume":"9640","author":"C\u00e1mara J.","year":"2017","unstructured":"J. C\u00e1mara , D. Garlan , G. A. Moreno , and B. Schmerl . 2017 . Analyzing Self-Adaptation Via Model Checking of Stochastic Games. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science , Springer , vol. 9640 , pp. 154 -- 187 . J. C\u00e1mara, D. Garlan, G. A. Moreno, and B. Schmerl. 2017. Analyzing Self-Adaptation Via Model Checking of Stochastic Games. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science, Springer, vol. 9640, pp. 154--187.","journal-title":"Springer"},{"volume-title":"Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems.","author":"Pandey A.","key":"e_1_3_2_1_20_1","unstructured":"A. Pandey , G. A. Moreno , J. C\u00e1mara , and D. Garlan . 2016. Hybrid Planning for Decision Making in Self-Adaptive Systems . In Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems. A. Pandey, G. A. Moreno, J. C\u00e1mara, and D. Garlan. 2016. Hybrid Planning for Decision Making in Self-Adaptive Systems. In Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069082"},{"key":"e_1_3_2_1_22_1","first-page":"64","article-title":"Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science","volume":"9640","author":"Schmerl B.","year":"2017","unstructured":"B. Schmerl , J. Anderson , T. Vogel , M.B. Cohen , C.M.F. Rubrica , Y. Brun , A. Gorla , F. Zambonelli , and L. Baresi . 2017 . Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science , Springer , vol. 9640 , pp. 64 -- 89 . B. Schmerl, J. Anderson, T. Vogel, M.B. Cohen, C.M.F. Rubrica, Y. Brun, A. Gorla, F. Zambonelli, and L. Baresi. 2017. Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems. In R. de Lemos, D. Garlan, C. Ghezzi, H. Giese (eds) Software Engineering for Self-Adaptive Systems III: Assurances. Lecture Notes in Computer Science, Springer, vol. 9640, pp. 64--89.","journal-title":"Springer"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.104"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2460383.2460384"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851613.2851628"},{"volume-title":"Proceedings of the 8th IEEE International Conference on Cloud Computing.","author":"Stephanow P.","key":"e_1_3_2_1_26_1","unstructured":"P. Stephanow , G. Srivastava , and J. Sch\u00fctte . 2016. Test-based Cloud Service Certification of Opportunistic Providers . Proceedings of the 8th IEEE International Conference on Cloud Computing. P. Stephanow, G. Srivastava, and J. Sch\u00fctte. 2016. Test-based Cloud Service Certification of Opportunistic Providers. Proceedings of the 8th IEEE International Conference on Cloud Computing."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2017.134"},{"key":"e_1_3_2_1_28_1","first-page":"324","volume-title":"Proceedings of the IEEE International Conference on Services Computing (SCC)","author":"Ardagna C.A.","unstructured":"C.A. Ardagna , R. Asal , E. Damiani , N.E. Ioini , C. Pahl , and T. Dimitrakos . 2016. A Certification Technique for Cloud Security Adaptation . Proceedings of the IEEE International Conference on Services Computing (SCC) , pp. 324 -- 331 . C.A. Ardagna, R. Asal, E. Damiani, N.E. Ioini, C. Pahl, and T. Dimitrakos. 2016. A Certification Technique for Cloud Security Adaptation. Proceedings of the IEEE International Conference on Services Computing (SCC), pp. 324--331."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593939"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465479"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2600176.2600181"},{"key":"e_1_3_2_1_32_1","first-page":"1","article-title":"Semantic Hierarchies for Extracting, Modeling, and Connecting Compliance Requirements in Information Security Control Standards","author":"Hale M.","year":"2017","unstructured":"M. Hale and R. Gamble . 2017 . Semantic Hierarchies for Extracting, Modeling, and Connecting Compliance Requirements in Information Security Control Standards . Requirements Engineering , Dec. , pp. 1 -- 38 . M. Hale and R. Gamble. 2017. Semantic Hierarchies for Extracting, Modeling, and Connecting Compliance Requirements in Information Security Control Standards. Requirements Engineering, Dec., pp. 1--38.","journal-title":"Requirements Engineering"},{"volume-title":"Communicating Sequential Processes","author":"Hoare C.A.R.","key":"e_1_3_2_1_33_1","unstructured":"C.A.R. Hoare . 1985. Communicating Sequential Processes . Prentice Hall . C.A.R. Hoare. 1985. Communicating Sequential Processes. Prentice Hall."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"K. Jensen and L.M. Kristensen. 2009. Colored Petri Nets: Modelling and Validation of Concurrent Systems. Springer-Verlag.   K. Jensen and L.M. Kristensen. 2009. Colored Petri Nets: Modelling and Validation of Concurrent Systems. Springer-Verlag.","DOI":"10.1007\/b95112"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663340"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Gothenburg Sweden","acronym":"ICSE '18"},"container-title":["Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194133.3194139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3194133.3194139","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3194133.3194139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:09Z","timestamp":1750210749000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3194133.3194139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,28]]},"references-count":35,"alternative-id":["10.1145\/3194133.3194139","10.1145\/3194133"],"URL":"https:\/\/doi.org\/10.1145\/3194133.3194139","relation":{},"subject":[],"published":{"date-parts":[[2018,5,28]]},"assertion":[{"value":"2018-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}