{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:34:16Z","timestamp":1743053656327,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319394251"},{"type":"electronic","value":"9783319394268"}],"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-39426-8_13","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:47:34Z","timestamp":1466995654000},"page":"158-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Parallel Real Time Investigation of Communication Security Changes Based on Probabilistic Timed Automata"],"prefix":"10.1007","author":[{"given":"Henryk","family":"Piech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Grodzki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1029-0","volume-title":"Manifolds, Tensor Analysis and Application","author":"R Abraham","year":"1988","unstructured":"Abraham, R., Marsden, J.E., Rating, T.: Manifolds, Tensor Analysis and Application, 2nd edn. Springer, New York (1988)","edition":"2"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0304-3975(01)00215-8","volume":"292","author":"D Beauquier","year":"2003","unstructured":"Beauquier, D.: On probabilistic timed automata. Theoret. Comput. Sci. 292, 65\u201384 (2003)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18\u201336 (1990). doi: 10.1145\/77648.77649","journal-title":"ACM Trans. Comput. Syst."},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/11605805_10","volume-title":"Topics in Cryptology \u2013 CT-RSA 2006","author":"K Gj\u00f8steen","year":"2006","unstructured":"Gj\u00f8steen, K.: A new security proof for Damg\u00e5rd\u2019s ElGamal. In: Pointcheval, D. (ed.) CT-RSA 2006. LNCS, vol. 3860, pp. 150\u2013158. Springer, Heidelberg (2006)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic verification of real-time systems with discrete probability distribution. Theoret. Comput. Sci. 282, 101\u2013150 (2002)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"13_CR6","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1016\/j.jnca.2011.11.009","volume":"35","author":"X Li","year":"2012","unstructured":"Li, X., Xiong, Y., Ma, J., Wang, W.: An efficient and security dynamic identity based authentication protocol for multi-server architecture using smart cards. J. Netw. Comput. Appl. 35(2), 763\u2013769 (2012)","journal-title":"J. Netw. Comput. Appl."},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s00145-008-9036-8","volume":"22","author":"Y Lindell","year":"2009","unstructured":"Lindell, Y., Pinkas, B.: A proof of security of Yaos protocol for two-party computation. J. Cryptol. 22(2), 161\u2013188 (2009)","journal-title":"J. Cryptol."},{"issue":"1","key":"13_CR8","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s11704-012-2903-3","volume":"6","author":"A Luu","year":"2012","unstructured":"Luu, A., Sun, J., Liu, Y., Dong, J., Li, X., Quan, T.: SeVe: automatic tool for verification of security protocols. Front. Comput. Sci. 6(1), 57\u201375 (2012)","journal-title":"Front. Comput. Sci."},{"issue":"6","key":"13_CR9","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1007\/s00165-010-0164-1","volume":"23","author":"A McIver","year":"2011","unstructured":"McIver, A., Morgan, C.: Compositional refinement in agent-based security protocols. Formal Aspects Comput. 23(6), 711\u2013737 (2011)","journal-title":"Formal Aspects Comput."},{"issue":"2","key":"13_CR10","first-page":"403","volume":"25","author":"H Piech","year":"2015","unstructured":"Piech, H., Grodzki, G.: Probability timed automata for investigating communication processes. Appl. Math. Comput. Sci. 25(2), 403\u2013414 (2015)","journal-title":"Appl. Math. Comput. Sci."},{"key":"13_CR11","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-41687-3_15","volume-title":"Business Information Systems Workshops","author":"H Piech","year":"2013","unstructured":"Piech, H., Grodzki, G.: The system conception of investigation of the communication security level in networks. In: Abramowicz, W. (ed.) BIS Workshops 2013. LNBIP, vol. 160, pp. 148\u2013159. Springer, Heidelberg (2013)"},{"key":"13_CR12","unstructured":"Tudruj, M., Masko, L.: Toward massively parallel computation based on dynamic clusters with communication on the fly. In: IS on Parallel and Distributed Computing, Lille, France, pp. 155\u2013162 (2005)"}],"container-title":["Lecture Notes in Business Information Processing","Business Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39426-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T22:40:33Z","timestamp":1718664033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39426-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394251","9783319394268"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39426-8_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"28 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}