{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:17:05Z","timestamp":1725866225296},"publisher-location":"Cham","reference-count":14,"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_6","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T07:25:04Z","timestamp":1474615504000},"page":"65-75","source":"Crossref","is-referenced-by-count":2,"title":["Some Remarks on Security Protocols Verification Tools"],"prefix":"10.1007","author":[{"given":"Miros\u0142aw","family":"Kurkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Kozakiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Siedlecka-Lamch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"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)","key":"6_CR1","DOI":"10.1007\/11513988_27"},{"doi-asserted-by":"crossref","unstructured":"Armando, A., Compagna, L.: An optimized intruder model for SAT-based model checking of security protocols. In: Armando, A., Vigan\u2018o, L. (eds.) ENTCS, vol. 125, pp. 91\u2013108. Elsevier Science Publishers, Amsterdam (2005)","key":"6_CR2","DOI":"10.1016\/j.entcs.2004.05.021"},{"doi-asserted-by":"crossref","unstructured":"Basin, D., Modersheim, S., Vigano, L.: An on-the-fly model-checker for security protocol analysis. In: Proceedings of ESORICS\u201903, vol. 2808 of LNCS, pp. 253\u2013270. Springer, Berlin (2003)","key":"6_CR3","DOI":"10.1007\/978-3-540-39650-5_15"},{"unstructured":"Boichut, Y., Heam, P.-C., Kouchnarenko, O., Oehl, F.: Improvements on the Genet and Klay technique to automatically verify security protocols. In: Proceedings of AVIS\u201904 (2004)","key":"6_CR4"},{"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, pp. 414\u2013418. Princeton, USA (2008)","key":"6_CR5","DOI":"10.1007\/978-3-540-70545-1_38"},{"doi-asserted-by":"crossref","unstructured":"Cremers, C.: Unbounded verification, falsification, and characterization of security protocols by pattern refinement. In: Proceedings of 15th ACM Conference on Computer and Communications Security (CCS 2008), pp. 119\u2013128. ACM (2008)","key":"6_CR6","DOI":"10.1145\/1455770.1455787"},{"doi-asserted-by":"crossref","unstructured":"Dembinski, P., Janowska, A., Janowski, P., Penczek, W., Polrola, A., Szreter, M., Wozna, B., Zbrzezny, A.: VerICS: A tool for verifying timed automata and estelle specifications. In: Proceedings of the 9th International Conference TACAS\u201903, vol. 2619 of LNCS, pp. 278\u2013283. Springer, Berlin (2003)","key":"6_CR7","DOI":"10.1007\/3-540-36577-X_20"},{"unstructured":"Kacprzak, M., Nabialek, W., Niewiadomski, A., Penczek, W., Polrola, A., Szreter, M., Zbrzezny, A.: Verics 2008\u2014a model checker for high-level languages. Artif. Intell. Stud. 5(28), 131\u2013140 (2008)","key":"6_CR8"},{"issue":"3\u20134","key":"6_CR10","first-page":"453","volume":"79","author":"M Kurkowski","year":"2007","unstructured":"Kurkowski, M., Penczek, W.: Verifying security protocols modelled by networks of automata. Fundamenta Informaticae 79(3\u20134), 453\u2013471 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"6_CR11","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the Needham-Schroeder public-key authentication protocol. Inf. Process. Lett. 56(3), 131\u2013133 (1995)","journal-title":"Inf. Process. Lett."},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using fdr. In: TACAS, LNCS, pp. 147\u2013166. Springer, Berlin (1996)","key":"6_CR12","DOI":"10.1007\/3-540-61042-1_43"},{"unstructured":"Siedlecka-Lamch, O., Kurkowski, M., Piech, H.: A new effective approach for modeling and verification of security protocols. In: Proceedings of 21st International Workshop on Concurrency, Specification and Programming (CS&P 2012), pp. 191\u2013202. Humboldt University Press, Berlin (2012)","key":"6_CR13"},{"unstructured":"Siedlecka-Lamch, O., Kurkowski, M., Szymoniak, S., Piech, H.: Parallel bounded model checking of security protocols. In: Proceedings of PPAM\u201913, vol. 8384 of LNCS. Springer, Berlin (2014)","key":"6_CR14"},{"doi-asserted-by":"crossref","unstructured":"Turuani, M.: The CL-ATSE protocol analyzer. In: Proceedings of RTA\u201906, vol. 4098 of LNCS, pp. 277\u2013286. Springer, Berlin (2006)","key":"6_CR15","DOI":"10.1007\/11805618_21"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T19:13:59Z","timestamp":1568402039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46586-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,24]]},"ISBN":["9783319465852","9783319465869"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46586-9_6","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]]}}}