{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:17Z","timestamp":1740099077621,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924588"},{"type":"electronic","value":"9783319924595"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-92459-5_27","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T13:39:27Z","timestamp":1527514767000},"page":"333-343","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Impact of Time Parameters on the Security Protocols Correctness"],"prefix":"10.1007","author":[{"given":"Sabina","family":"Szymoniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"issue":"1","key":"27_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/JCS-2006-14101","volume":"14","author":"V Cortier","year":"2006","unstructured":"Cortier, V., Delaune, S., Lafourcade, P.: A survey of algebraic properties used in cryptographic protocols. J. Comput. Secur. 14(1), 1\u201343 (2006)","journal-title":"J. Comput. Secur."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Bolignano, D.: An approach to the formal verification of cryptographic protocols. In: Third ACM Conference on Computer and Communications Security, pp. 106\u2013118. ACM Press (1996)","DOI":"10.1145\/238168.238196"},{"issue":"3","key":"27_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1145\/65000.65002","volume":"7","author":"M Satyanarayanan","year":"1989","unstructured":"Satyanarayanan, M.: Integrating security in a large distributed system. ACM Trans. Comput. Syst. 7(3), 247\u2013280 (1989)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"1","key":"27_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.3233\/JCS-16814","volume":"26","author":"C Sprenger","year":"2018","unstructured":"Sprenger, C., Basin, D.: Refining security protocols. J. Comput. Secur. 26(1), 71\u2013120 (2018)","journal-title":"J. Comput. Secur."},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0000430","volume-title":"Advances in Cryptology \u2014 ASIACRYPT\u201994","author":"CA Meadows","year":"1995","unstructured":"Meadows, C.A., Meadows, C.A.: Formal verification of cryptographic protocols: a survey. In: Pieprzyk, J., Safavi-Naini, R. (eds.) ASIACRYPT 1994. LNCS, vol. 917, pp. 133\u2013150. Springer, Heidelberg (1995). \nhttps:\/\/doi.org\/10.1007\/BFb0000430"},{"key":"27_CR6","unstructured":"Kurkowski, M.: Formalne metody weryfikacji wlasnosci protokolow zabezpieczaj\u0105cych w sieciach komputerowych. Informatyka - Akademicka Oficyna Wydawnicza EXIT (2013)"},{"issue":"6","key":"27_CR7","doi-asserted-by":"publisher","first-page":"619","DOI":"10.3233\/JCS-2007-15603","volume":"15","author":"R. Corin","year":"2007","unstructured":"Corin, R., Etalle, S., Hartel, P.H., Mader, A.: Timed analysis of security protocols. J. Comput. Secur. 15(6) (2007)","journal-title":"Journal of Computer Security"},{"key":"27_CR8","unstructured":"Basin, D., Modersheim, S., Vigan\u00f2, L.: Technical report no. 450 OFMC: a symbolic model-checker for security protocols (2004)"},{"key":"27_CR9","series-title":"Information Security and Cryptography","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78636-8","volume-title":"Operational Semantics and Verification of Security Protocols","author":"C Cremers","year":"2012","unstructured":"Cremers, C., Mauw, S.: Operational Semantics and Verification of Security Protocols. Information Security and Cryptography. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-540-78636-8"},{"key":"27_CR10","unstructured":"Jakubowska, G., Penczek, W., Srebrny, M.: Verifying timed security protocols via translation to timed automata. In: International Workshop on Concurrency, Specification and Programming (CS&P 2002). Lecture Notes in Computer Science, pp. 100\u2013115 (2005). Warsaw University"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-75698-9_5","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"G Jakubowska","year":"2007","unstructured":"Jakubowska, G., Penczek, W.: Is your security protocol on time? In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 65\u201380. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-75698-9_5"},{"issue":"3\u20134","key":"27_CR12","first-page":"363","volume":"79","author":"G Jakubowska","year":"2007","unstructured":"Jakubowska, G., Penczek, W.: Modelling and checking timed authentication of security protocols. Fundam. Inform. 79(3\u20134), 363\u2013378 (2007)","journal-title":"Fundam. Inform."},{"issue":"1","key":"27_CR13","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)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"3","key":"27_CR14","doi-asserted-by":"publisher","first-page":"127","DOI":"10.17512\/jamcm.2015.3.14","volume":"14","author":"S Szymoniak","year":"2015","unstructured":"Szymoniak, S., Kurkowski, M., Piatkowski, J.: Timed models of security protocols including delays in the network. J. Appl. Mathe. Comput. Mech. 14(3), 127\u2013139 (2015)","journal-title":"J. Appl. Mathe. Comput. Mech."},{"key":"27_CR15","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-46586-9_5","volume-title":"Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2016 \u2013 Part II","author":"S Szymoniak","year":"2017","unstructured":"Szymoniak, S., Siedlecka-Lamch, O., Kurkowski, M.: Timed analysis of security protocols. In: Grzech, A., \u015awi\u0105tek, J., Wilimowska, Z., Borzemski, L. (eds.) Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2016 \u2013 Part II. AISC, vol. 522, pp. 53\u201363. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-46586-9_5"},{"issue":"2","key":"27_CR16","first-page":"55","volume":"38","author":"S Szymoniak","year":"2017","unstructured":"Szymoniak, S.: Analysis and simulations of timed security protocols. Studa Inf. 38(2), 55\u201366 (2017)","journal-title":"Studa Inf."}],"container-title":["Communications in Computer and Information Science","Computer Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92459-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T13:47:45Z","timestamp":1527515265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92459-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924588","9783319924595"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92459-5_27","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}