{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:17:00Z","timestamp":1725866220041},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465852"},{"type":"electronic","value":"9783319465869"}],"license":[{"start":{"date-parts":[[2016,9,24]],"date-time":"2016-09-24T00:00:00Z","timestamp":1474675200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-46586-9_5","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T07:25:04Z","timestamp":1474615504000},"page":"53-63","source":"Crossref","is-referenced-by-count":11,"title":["Timed Analysis of Security Protocols"],"prefix":"10.1007","author":[{"given":"Sabina","family":"Szymoniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Siedlecka-Lamch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miros\u0142aw","family":"Kurkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Armando, A., et. al.: The AVISPA tool for the automated validation of internet security protocols and applications. In: Proceedings of 17th International Conference on Computer Aided Verification (CAV\u201905), vol. 3576 of LNCS, pp. 281\u2013285, Springer, Berlin (2005)","DOI":"10.1007\/11513988_27"},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Trans. Comput. Syst. 8(1), 18\u201336 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Cremers, C.: The Scyther tool: verification, falsification, and analysis of security protocols. In: Proceedings of the 20th International Conference on Computer Aided Verification, Princeton, USA, pp. 414\u2013418 (2008)","DOI":"10.1007\/978-3-540-70545-1_38"},{"issue":"2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013207 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"5_CR7","unstructured":"Jakubowska, G., Penczek, W.: Modeling and checking timed authentication security protocols. In: Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P\u2019Z06), Informatik-Berichte 206(2), str. 280\u2013291, Humboldt University (2006)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Jakubowska, G., Penczek, W.: Is your security protocol on time? In: Proceedings of FSEN\u201907, vol. 4767 of LNCS, pp. 65\u201380. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-75698-9_5"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Kurkowski, M., Penczek, W.: Applying timed automata to model checking of security protocols. In: Wang, J. (ed.) Handbook of Finite State Based Models and Applications, pp. 223\u2013254. CRC Press, Boca Raton (2012)","DOI":"10.1201\/b13055-12"},{"key":"5_CR10","unstructured":"Kurkowski M.: Formalne metody weryfikacji wlasnosci protokolow zabezpieczajacych w\u00a0sieciach komputerowych, wyd. Exit, Warszawa (2013)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Kurkowski, M., Grosser, A., Piatkowski, J., Szymoniak, S.: ProToc\u2014an universal language for security protocols specification. Adv. Intell. Syst. Comput. 342, 237\u2013248 (2015)","DOI":"10.1007\/978-3-319-15147-2_20"},{"issue":"12","key":"5_CR14","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Paulson L.: Inductive analysis of the internet protocol TLS, TR440, University of Cambridge, Computer Laboratory (1998)","DOI":"10.1007\/3-540-49135-X_1"},{"issue":"3","key":"5_CR17","doi-asserted-by":"crossref","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. Math. Comput. Mech. 14(3), 127\u2013139 (2015)","journal-title":"J. Appl. Math. Comput. Mech."}],"container-title":["Advances in Intelligent Systems and Computing","Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2016 \u2013 Part II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46586-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T19:13:55Z","timestamp":1568402035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46586-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,24]]},"ISBN":["9783319465852","9783319465869"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46586-9_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016,9,24]]}}}