{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:35:03Z","timestamp":1743140103345,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243689"},{"type":"electronic","value":"9783319243696"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-24369-6_39","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T18:46:37Z","timestamp":1441910797000},"page":"475-486","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["AQoPA: Automated Quality of Protection Analysis Framework for Complex Systems"],"prefix":"10.1007","author":[{"given":"Damian","family":"Rusinek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bogdan","family":"Ksiezopolski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Wierzbicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,30]]},"reference":[{"key":"39_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/B:ELEC.0000045975.59531.08","volume":"5","author":"A Stubblefield","year":"2005","unstructured":"Stubblefield, A., Rubin, A.D., Wallach, D.S.: Managing the Performance Impact of Web Security. Electronic Commerce Research 5, 99\u2013116 (2005)","journal-title":"Electronic Commerce Research"},{"issue":"1","key":"39_CR2","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s11227-006-3549-4","volume":"36","author":"N Sklavos","year":"2006","unstructured":"Sklavos, N., Kitsos, P., Papadopoulos, K., Koufopavlou, O.: Design, Architecture and Performance Evaluation of the Wireless Transport Layer Security. The Journal of Supercomputing 36(1), 33\u201350 (2006)","journal-title":"The Journal of Supercomputing"},{"key":"39_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-02671-3_28","volume":"158","author":"B Ksiezopolski","year":"2009","unstructured":"Ksiezopolski, B., Kotulski, Z., Szalachowski, P.: Adaptive approach to network security. Communications in Computer and Information Science 158, 233\u2013241 (2009)","journal-title":"Communications in Computer and Information Science"},{"unstructured":"Ksiezopolski B., Kotulski Z., Szalachowski P.: On QoP method for ensuring availability of the goal of cryptographic protocols in the real-time systems. In: European Teletraffic Seminar, pp. 195\u2013202 (2011)","key":"39_CR4"},{"unstructured":"J\u00fcrjens J.: Security and Compliance in clouds. In: 4th Pan-European Conference on IT-Compliance 2011, Berlin (2011)","key":"39_CR5"},{"key":"39_CR6","first-page":"69","volume":"4","author":"B Ksiezopolski","year":"2012","unstructured":"Ksiezopolski, B., Rusinek, D., Wierzbicki, A.: On the modelling of Kerberos protocol in the Quality of Protection Modelling Language (QoP-ML). Annales UMCS Informatica AI XII 4, 69\u201381 (2012)","journal-title":"Annales UMCS Informatica AI XII"},{"key":"39_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-642-36818-9_27","volume-title":"Information and Communication Technology","author":"B Ksiezopolski","year":"2013","unstructured":"Ksiezopolski, B., Rusinek, D., Wierzbicki, A.: On the efficiency modelling of cryptographic protocols by means of the quality of protection modelling language (QoP-ML). In: Mustofa, K., Neuhold, E.J., Tjoa, A.M., Weippl, E., You, I. (eds.) ICT-EurAsia 2013. LNCS, vol. 7804, pp. 261\u2013270. Springer, Heidelberg (2013)"},{"key":"39_CR8","first-page":"1873","volume":"26","author":"C Lambrinoudakis","year":"2003","unstructured":"Lambrinoudakis, C., Gritzalis, S., Dridi, F., Pernul, G.: Security requirements for e-government services: a methodological approach for developing a common PKI-based security policy. Computers & Security 26, 1873\u20131883 (2003)","journal-title":"Computers & Security"},{"issue":"4","key":"39_CR9","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1016\/j.cose.2012.01.006","volume":"31","author":"B Ksiezopolski","year":"2012","unstructured":"Ksiezopolski, B.: QoP-ML: Quality of Protection modelling language for cryptographic protocols. Computers & Security 31(4), 569\u2013596 (2012)","journal-title":"Computers & Security"},{"doi-asserted-by":"crossref","unstructured":"Ksiezopolski B.: Multilevel Modeling of Secure Systems in QoP-ML, pp. 1\u2013256. CRC Press (2015)","key":"39_CR10","DOI":"10.1201\/b18579"},{"unstructured":"The official web page of the QoP-ML project. \n                      http:\/\/www.qopml.org","key":"39_CR11"},{"key":"39_CR12","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1155\/2014\/725279","volume":"2014","author":"B Ksiezopolski","year":"2014","unstructured":"Ksiezopolski, B., Zurek, T., Mokkas, M.: Quality of Protection Evaluation of Security Mechanisms. The Scientific World Journal 2014, 18 (2014)","journal-title":"The Scientific World Journal"},{"key":"39_CR13","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1016\/S0167-739X(02)00180-2","volume":"19","author":"V Blanco","year":"2003","unstructured":"Blanco, V., Gonzalez, P., Cabaleiro, J.C., Heras, D.B., Pena, T.F., Pombo, J.J., Rivera, F.F.: AVISPA: visualizing the performance prediction of parallel iterative solvers. Future Generation Computer Systems 19, 721\u2013733 (2003)","journal-title":"Future Generation Computer Systems"},{"key":"39_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.entcs.2005.11.052","volume":"115","author":"L Vigano","year":"2006","unstructured":"Vigano, L.: Automated Security Protocol Analysis With the AVISPA Tool. Electronic Notes in Theoretical Computer Science 115, 61\u201386 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Blanchet, B., Chaudhuri, A.: Automated formal analysis of a protocol for secure file sharing on untrusted storage. In: Proceedings of the 29th IEEE Symposium on Security and Privacy, pp. 417\u2013431 (2008)","key":"39_CR15","DOI":"10.1109\/SP.2008.12"},{"key":"39_CR16","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/s10009-007-0048-8","volume":"9","author":"J J\u00fcrjens","year":"2007","unstructured":"J\u00fcrjens, J.: Tools for Secure Systems Development with UML. International Journal on Software Tools for Technology Transfer 9, 527\u2013544 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"unstructured":"Cedar Point web page. \n                      https:\/\/www.cedarpoint.com\/","key":"39_CR17"},{"doi-asserted-by":"crossref","unstructured":"Yuyama, S.: Fundamental Aspects of Acoustic Emission Applications to the Problems Caused by Corrosion. Corrosion Monitoring in Industrial Plants Using Nondestructive Testing and Electrochemical Methods, American Society for Testing and Materials, 43\u201374 (1986)","key":"39_CR18","DOI":"10.1520\/STP17436S"},{"issue":"3","key":"39_CR19","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1061\/(ASCE)MT.1943-5533.0000845","volume":"26","author":"M ElBatanouny","year":"2014","unstructured":"ElBatanouny, M., Mangual, J., Ziehl, P., Matta, F.: Early Corrosion Detection in Prestressed Concrete Girders Using Acoustic Emission. J. Mater. Civ. Eng. 26(3), 504\u2013511 (2014)","journal-title":"J. Mater. Civ. Eng."},{"key":"39_CR20","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.comnet.2014.03.027","volume":"67","author":"T Rault","year":"2014","unstructured":"Rault, T., Bouabdallah, A., Challal, Y.: Energy efficiency in wireless sensor networks: A top-down survey. Computer Networks 67, 104\u2013122 (2014)","journal-title":"Computer Networks"},{"key":"39_CR21","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1016\/j.neucom.2011.10.007","volume":"79","author":"GM Wojcik","year":"2012","unstructured":"Wojcik, G.M.: Electrical parameters influence on the dynamics of the hodgkin-huxley liquid state machine. Neurocomputing 79, 68\u201378 (2012)","journal-title":"Neurocomputing"},{"issue":"1","key":"39_CR22","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1016\/j.procs.2010.04.092","volume":"1","author":"GM Wojcik","year":"2010","unstructured":"Wojcik, G.M., Garcia-Lazaro, J.A.: Analysis of the neural hypercolumnin parallel pcsim simulations. Procedia Computer Science 1(1), 845\u2013854 (2010)","journal-title":"Procedia Computer Science"},{"key":"39_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/978-3-319-07425-2_30","volume-title":"Ad-hoc, Mobile, and Wireless Networks","author":"I Mansour","year":"2014","unstructured":"Mansour, I., Rusinek, D., Chalhoub, G., Lafourcade, P., Ksiezopolski, B.: Multihop node authentication mechanisms for wireless sensor networks. In: Guo, S., Lloret, J., Manzoni, P., Ruehrup, S. (eds.) ADHOC-NOW 2014. LNCS, vol. 8487, pp. 402\u2013418. Springer, Heidelberg (2014)"}],"container-title":["Lecture Notes in Computer Science","Computer Information Systems and Industrial Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24369-6_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T20:03:34Z","timestamp":1568664214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24369-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243689","9783319243696"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24369-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 October 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}