{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T21:17:07Z","timestamp":1726003027204},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030033132"},{"type":"electronic","value":"9783030033149"}],"license":[{"start":{"date-parts":[[2018,12,12]],"date-time":"2018-12-12T00:00:00Z","timestamp":1544572800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-03314-9_30","type":"book-chapter","created":{"date-parts":[[2018,12,12]],"date-time":"2018-12-12T01:23:41Z","timestamp":1544577821000},"page":"346-357","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["KaoChow Protocol Timed Analysis"],"prefix":"10.1007","author":[{"given":"Sabina","family":"Szymoniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,12]]},"reference":[{"issue":"3","key":"30_CR1","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/206826.206832","volume":"29","author":"IL Kao","year":"1995","unstructured":"Kao, I.L., Chow, R.: An efficient and secure authentication protocol using uncertified keys. Oper. Syst. Rev. 29(3), 14\u201321 (1995)","journal-title":"Oper. Syst. Rev."},{"issue":"3","key":"30_CR2","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1145\/322510.322530","volume":"2","author":"L Paulson","year":"1999","unstructured":"Paulson, L.: Inductive analysis of the internet protocol TLS. ACM Trans. Inf. Syst. Secur. (TISSEC) 2(3), 332\u2013351 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur. (TISSEC)"},{"key":"30_CR3","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1098\/rspa.1989.0125","volume":"426","author":"M Burrows","year":"1989","unstructured":"Burrows, M., Abadi, M., Needham, R.: A logic of authentication. Proc. R. Soc. Lond. A 426, 233\u2013271 (1989)","journal-title":"Proc. R. Soc. Lond. A"},{"key":"30_CR4","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 (1996)","DOI":"10.1007\/3-540-61042-1_43"},{"issue":"2","key":"30_CR5","doi-asserted-by":"crossref","first-page":"145","DOI":"10.17512\/jamcm.2017.2.12","volume":"16","author":"W Steingartner","year":"2017","unstructured":"Steingartner, W., Novitzka, V.: Coalgebras for modelling observable behaviour of programs. J. Appl. Math. Comput. Mech. 16(2), 145\u2013157 (2017)","journal-title":"J. Appl. Math. Comput. Mech."},{"issue":"2","key":"30_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. Theor. 29(2), 198\u2013207 (1983)","journal-title":"IEEE Trans. Inf. Theor."},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., 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 2005). LNCS, vol. 3576, pp. 281\u2013285. Springer (2005)","DOI":"10.1007\/11513988_27"},{"issue":"1\u20132","key":"30_CR8","first-page":"1","volume":"1","author":"B Blanchet","year":"2016","unstructured":"Blanchet, B.: Modeling and verifying security protocols with the applied Pi Calculus and ProVerif. Found. Trends Priv. Secur. 1(1\u20132), 1\u2013135 (2016)","journal-title":"Found. Trends Priv. Secur."},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"Cremers, C., Mauw, S.: Operational semantics and verification of security protocols. In: Information Security and Cryptography. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-540-78636-8"},{"key":"30_CR10","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 2006), Informatik-Berichte, vol. 206, no. 2, pp. 280\u2013291. Humboldt University (2006)"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Jakubowska, G., Penczek, W.: Is your security protocol on time? In: Proceedings of FSEN 2007. LNCS, vol. 4767, pp. 65\u201380. Springer (2007)","DOI":"10.1007\/978-3-540-75698-9_5"},{"key":"30_CR12","unstructured":"Kurkowski, M.: Formalne metody weryfikacji w\u0142asno\u015bci protokolow zabezpieczajacych w sieciach komputerowych, Exit, Warsaw (2013). (in Polish)"},{"key":"30_CR13","doi-asserted-by":"crossref","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. CRC Press, Boca Raton (2012)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Siedlecka-Lamch, O., Kurkowski, M., Piatkowski, J.: Probabilistic model checking of security protocols without perfect cryptography assumption. In: Proceedings of 23rd International Conference on Computer Networks, Brunow, 14\u201317 June 2016. Communications in Computer and Information Science, vol. 608, pp. 107\u2013117. Springer (2016)","DOI":"10.1007\/978-3-319-39207-3_10"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"Szymoniak, S., Siedlecka-Lamch, O., Kurkowski, M.: Timed analysis of security protocols. In: Proceedings of 37th International Conference ISAT 2016, Karpacz, 18\u201320 September 2017. Advances in Intelligent Systems and Computing, vol. 522, pp. 53\u201363. Springer (2017)","DOI":"10.1007\/978-3-319-46586-9_5"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Klasa, T., Fray, I.E.: Data scheme conversion proposal for information security monitoring systems. In: Kobayashi, S., Piegat, A., Peja\u015b, J., El Fray, I., Kacprzyk, J. (eds.) Hard and Soft Computing for Artificial Intelligence, Multimedia and Security. ACS 2016. Advances in Intelligent Systems and Computing, vol. 534. Springer, Cham (2017)","DOI":"10.1007\/978-3-319-48429-7_15"},{"issue":"3","key":"30_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."},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"Chadha, R., Sistla, P., Viswanathan, M.: Verification of randomized security protocols. In: 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 1\u201312 (2017)","DOI":"10.1109\/LICS.2017.8005126"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Basin, D., Cremers, C., Meadows, C.: Model checking security protocols. In: Handbook of Model Checking, pp. 727\u2013762. Springer (2018)","DOI":"10.1007\/978-3-319-10575-8_22"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Szymoniak, S., Siedlecka-Lamch, O., Kurkowski, M.: SAT-based verification of NSPK protocol including delays in the network. In: Proceedings of the IEEE 14th International Scientific Conference on Informatics, Poprad, Slovakia, 14\u201316 November 2017. IEEE (2017)","DOI":"10.1109\/INFORMATICS.2017.8327280"},{"key":"30_CR21","unstructured":"Security Protocols Spen Repository. http:\/\/www.lsv.fr\/Software\/spore\/table.html"}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Soft and Hard Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03314-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,7]],"date-time":"2019-11-07T09:56:37Z","timestamp":1573120597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03314-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,12]]},"ISBN":["9783030033132","9783030033149"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03314-9_30","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,12,12]]},"assertion":[{"value":"ACS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Multi-Conference on Advanced Computer Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Mi\u0119dzyzdroje","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"acs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/acs.zut.edu.pl","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}