{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:04:55Z","timestamp":1743123895177,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319151465"},{"type":"electronic","value":"9783319151472"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15147-2_20","type":"book-chapter","created":{"date-parts":[[2015,3,19]],"date-time":"2015-03-19T14:46:02Z","timestamp":1426776362000},"page":"237-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["ProToc\u2014An Universal Language for Security Protocols Specifications"],"prefix":"10.1007","author":[{"given":"A.","family":"Grosser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kurkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Pi\u0105tkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Szymoniak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,20]]},"reference":[{"issue":"12","key":"20_CR1","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R Needham","year":"1978","unstructured":"Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","journal-title":"Commun. ACM"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Ko\u015bcielny, Cz., Kurkowski, M., Srebrny, M.: Modern Cryptography Primer, p. 238. Springer, Berlin (2013). ISBN: 978-3-642-41385-8","DOI":"10.1007\/978-3-642-41386-5"},{"key":"20_CR3","volume-title":"Applied Cryptography: Protocols, Algorithms, and Source Code in C","author":"B Schneier","year":"1996","unstructured":"Schneier, B.: Applied Cryptography: Protocols, Algorithms, and Source Code in C. Wiley, New York (1996)"},{"issue":"2","key":"20_CR4","doi-asserted-by":"publisher","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\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"20_CR5","volume-title":"Formalne metody weryfikacji w\u0142asno\u015bci protoko\u0142\u00f3w zabezpieczaj\u0105cych w sieciach komputerowych, s. 208","author":"M Kurkowski","year":"2013","unstructured":"Kurkowski, M.: Formalne metody weryfikacji w\u0142asno\u015bci protoko\u0142\u00f3w zabezpieczaj\u0105cych w sieciach komputerowych, s. 208. wyd. Exit, Warszawa (2013)"},{"key":"20_CR6","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, 453\u2013471 (2007)","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20133","key":"20_CR7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-2009-0100","volume":"93","author":"M Kurkowski","year":"2009","unstructured":"Kurkowski, M., Penczek, W.: Verifying timed security protocols via translation to timed automata. Fundamenta Informaticae 93(1\u20133), 245\u2013259 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1201\/b13055-12","volume-title":"Handbook of Finite State Based Models and Applications","author":"M Kurkowski","year":"2012","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. Chapman and Hall\/CRC Press, Boca Raton (2012)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Kurkowski, M., Penczek, W., Zbrzezny, A.: SAT-based verification of security protocols via translation to networks of automata. In: MoChart IV. LNAI, vol. 4428, pp. 146\u2013165. Springer, New York (2006)","DOI":"10.1007\/978-3-540-74128-2_10"},{"key":"20_CR10","first-page":"191","volume-title":"In: Proceedings of CS&P\u201912","author":"M Kurkowski","year":"2012","unstructured":"Kurkowski, M., Siedlecka-Lamch, O., Piech, H.: A new effective approach for modeling and verification of security protocols. In: Proceedings of CS&P\u201912, pp. 191\u2013202. Humboldt University Press, Germany (2012)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Meadows, C.: Language generation and verification in the NRL protocol analyzer. In: Proceedings of the 1996 IEEE Computer Security Foundation Workshop IX, pp. 48\u201361. IEEE Computer Society Press (1996)","DOI":"10.21236\/ADA465477"},{"issue":"2","key":"20_CR12","first-page":"13","volume":"26","author":"C Meadows","year":"1996","unstructured":"Meadows, C.: The NRL protocol analyzer: an overview. J. Log. Progr. 26(2), 13\u2013131 (1996)","journal-title":"J. Log. Progr."},{"key":"20_CR13","unstructured":"Meadows, C.: Using the NRL protocol analyzer to examine protocol suites. In: Proceedings of the 1998 LICS Workshop on Formal Methods and Security Protocols. http:\/\/www.cs.bell-labs.com\/who\/nch\/fmsp\/program.html (1998)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Millen, J., CAPSL - Common Authentication Protocol Specification Language. http:\/\/www.mitre.org\/research\/capsl (1997)","DOI":"10.1145\/304851.304879"},{"key":"20_CR15","unstructured":"The Common Authentication Protocol Specification Language (CAPSL) integrated protocol environment, SRI International, technical report (2001)"},{"key":"20_CR16","unstructured":"The CAPSL Integrated Protocol Environment: www.csl.sri.com\/ millen\/"},{"key":"20_CR17","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). LNCS, vol. 3576, pp. 281\u2013285. Springer (2005)","DOI":"10.1007\/11513988_27"},{"key":"20_CR18","unstructured":"Chevalier, Y., Compagna, L., Cuellar, J., Hankes Drielsma, P., Mantovani, J., Modersheim, S., Vigneron, L.: A high level protocol specification language for industrial security-sensitive protocols. In: Proceedings of SAPS\u201904. Austrian Computer Society (2004)"}],"container-title":["Advances in Intelligent Systems and Computing","Soft Computing in Computer and Information Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15147-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T06:28:22Z","timestamp":1674196102000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-15147-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319151465","9783319151472"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15147-2_20","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}