{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:10:52Z","timestamp":1749615052948,"version":"3.41.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454795"},{"type":"electronic","value":"9783319454801"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45480-1_30","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:08:20Z","timestamp":1472828900000},"page":"375-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study"],"prefix":"10.1007","author":[{"given":"Anas","family":"Motii","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agn\u00e8s","family":"Lanusse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Hamid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Bruel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"key":"30_CR1","unstructured":"ISO\/IEC 27005: Information Technology \u2014 Security Techniques \u2014 Information Security Risk Management (2011)"},{"key":"30_CR2","volume-title":"Security Patterns in Practice: Designing Secure Architectures Using Software Patterns","author":"EB Fernandez","year":"2013","unstructured":"Fernandez, E.B.: Security Patterns in Practice: Designing Secure Architectures Using Software Patterns. Wiley, New York (2013)"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/2379776.2379778","volume":"45","author":"S Bernardi","year":"2012","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45, 2 (2012)","journal-title":"ACM Comput. Surv."},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Softw. Syst. Model. 10, 313\u2013336 (2011)","journal-title":"Softw. Syst. Model."},{"key":"30_CR5","unstructured":"Mehiaoui, A., Wozniak, E., Piergiovanni, S.T., Mraidha, C., Natale, M.D., Zeng, H., Babau, J.-P., Lemarchand, L., G\u00e9rard, S.: A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. In: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES 2013, Seattle, WA, USA, June 20\u201321, 2013, pp. 121\u2013132 (2013)"},{"key":"30_CR6","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1016\/j.jss.2013.04.001","volume":"86","author":"M Walker","year":"2013","unstructured":"Walker, M., Reiser, M.-O., Tucci-Piergiovanni, S., Papadopoulos, Y., L\u00f6nn, H., Mraidha, C., Parker, D., Chen, D., Servat, D.: Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86, 2467\u20132487 (2013)","journal-title":"J. Syst. Softw."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Petriu, D.C., Woodside, C.M., Petriu, D.B., Xu, J., Israr, T., Georg, G., France, R., Bieman, J.M., Houmb, S.H., J\u00fcrjens, J.: Performance analysis of security aspects in UML models. In: Proceedings of the 6th International Workshop Software Performance, pp. 91\u2013102 (2007)","DOI":"10.1145\/1216993.1217010"},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Motii, A., Hamid, B., Lanusse, A., Bruel, J.-M.: Guiding the selection of security patterns based on security requirements and pattern classification. In: Proceedings of the 20th European Conference on Pattern Languages of Programs, pp. 10:1\u201310:17. ACM, New York (2015)","DOI":"10.1145\/2855321.2855332"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Hamid, B.: Interplay of security and dependability and resource using model-driven and pattern-based development. In: 2015 IEEE Trustcom\/BigDataSE\/ISPA, pp. 254\u2013262 (2015)","DOI":"10.1109\/Trustcom.2015.382"},{"key":"30_CR10","unstructured":"Technical Information Bulletin 04-1: Supervisory Control and Data Acquisition (SCADA) System (2004)"},{"key":"30_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-319-27869-8_16","volume-title":"Model-Driven Engineering and Software Development","author":"R Abdallah","year":"2015","unstructured":"Abdallah, R., Motii, A., Yakymets, N., Lanusse, A.: Using model driven engineering to support multi-paradigms security analysis. In: Desfray, P., et al. (eds.) MODELSWARD 2015. CCIS, vol. 580, pp. 278\u2013292. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-27869-8_16"},{"key":"30_CR12","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Fernandez, E.B.: Using security patterns to develop secure systems. In: Software Engineering for Secure Systems: Industrial and Research Perspectives, pp. 16\u201331 (2011)","DOI":"10.4018\/978-1-61520-837-1.ch002"},{"key":"30_CR14","first-page":"46","volume":"5","author":"M Bunke","year":"2012","unstructured":"Bunke, M., Koschke, R., Sohr, K.: Organizing security patterns related to security and pattern recognition requirements. Int. J. Adv. Secur. 5, 46\u201367 (2012)","journal-title":"Int. J. Adv. Secur."},{"key":"30_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-04897-0_7","volume-title":"Engineering Secure Software and Systems","author":"B Hamid","year":"2014","unstructured":"Hamid, B., Percebois, C.: A modeling and formal approach for the precise specification of security patterns. In: J\u00fcrjens, J., Piessens, F., Bielova, N. (eds.) ESSoS. LNCS, vol. 8364, pp. 95\u2013112. Springer, Heidelberg (2014)"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Dai, L.: Security variability design and analysis in an aspect oriented software architecture. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, pp. 275\u2013280 (2009)","DOI":"10.1109\/SSIRI.2009.47"},{"key":"30_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/978-3-642-41533-3_37","volume-title":"Model-Driven Engineering Languages and Systems","author":"O Alam","year":"2013","unstructured":"Alam, O., Kienzle, J., Mussbacher, G.: Concern-oriented software design. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 604\u2013621. Springer, Heidelberg (2013)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Nguyen, P.H., Yskout, K., Heyman, T., Klein, J., Scandariato, R., Le Traon, Y.: Model-driven security based on a unified system of security design patterns (2015)","DOI":"10.1145\/2631675.2631683"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Hamid, B., Percebois, C., Gouteux, D.: A methodology for integration of patterns with validation purpose. In: Proceedings of the 17th European Conference on Pattern Languages of Programs, pp. 8:1\u20138:14. ACM, New York (2012)","DOI":"10.1145\/2602928.2603084"},{"key":"30_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921555","volume":"36","author":"C Mraidha","year":"2011","unstructured":"Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a MARTE-based methodology for schedulability analysis at early design stages. SIGSOFT Softw. Eng. Notes 36, 1\u20138 (2011)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"30_CR21","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.sysarc.2012.02.001","volume":"59","author":"MG Harbour","year":"2013","unstructured":"Harbour, M.G., Guti\u00e9rrez, J.J., Drake, J.M., Mart\u00ednez, P.L., Palencia, J.C.: Modeling distributed real-time systems with MAST 2. J. Syst. Archit. 59, 331\u2013340 (2013)","journal-title":"J. Syst. Archit."},{"key":"30_CR22","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"K Tindell","year":"1994","unstructured":"Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40, 117\u2013134 (1994)","journal-title":"Microprocess. Microprogram."},{"key":"30_CR23","doi-asserted-by":"crossref","unstructured":"Alshamsi, A., Saito, T.: A technical comparison of IPSec and SSL. In: 19th International Conference on Advanced Information Networking and Applications (AINA 2005), Volume 1 (AINA papers), vol. 2, pp. 395\u2013398 (2005)","DOI":"10.1109\/AINA.2005.70"},{"key":"30_CR24","unstructured":"Design and Performance of the OpenBSD Stateful Packet Filter (pf). http:\/\/www.benzedrine.ch\/pf-paper.html"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45480-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T16:21:31Z","timestamp":1749572491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45480-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454795","9783319454801"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45480-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"1 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trondheim","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}