{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:45:31Z","timestamp":1742960731312,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025556"},{"type":"electronic","value":"9783642025563"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02556-3_65","type":"book-chapter","created":{"date-parts":[[2009,7,13]],"date-time":"2009-07-13T18:27:17Z","timestamp":1247509637000},"page":"579-586","source":"Crossref","is-referenced-by-count":0,"title":["An Approach for the Design of Secure Communication in Embedded Systems"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Ocenasek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"65_CR1","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/RISP.1994.296587","volume-title":"Proceedings of the 1994 IEEE Symposium on Security and Privacy","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Needham, R.: Prudent Engineering Practice for Cryptographic Protocols. In: Proceedings of the 1994 IEEE Symposium on Security and Privacy, pp. 122\u2013136. IEEE Computer Security Press, Los Alamitos (1994)"},{"key":"65_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M., Tuttle, N.: A Semantic for a Logic of Authentication. In: Proceedings of the ACM Symposium on Principles of Distributed Computing, pp. 201\u2013216 (1991)","DOI":"10.1145\/112600.112618"},{"key":"65_CR3","doi-asserted-by":"crossref","unstructured":"Agray, N., van der Hoek, W., de Vink, E.: On BAN Logics for Industrial Security protocols. In: CCEMAS, p. 8 (2001)","DOI":"10.1007\/3-540-45941-3_3"},{"issue":"1","key":"65_CR4","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 Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"8","key":"65_CR5","first-page":"695","volume":"22","author":"S. Gritzalis","year":"1999","unstructured":"Gritzalis, S.: Security protocols over open networks and distributed systems: Formal methods for their Analysis, Design and Verification. University of Aegean, Greece, Computer Communications\u00a022(8), 695\u2013707 (1999)","journal-title":"University of Aegean, Greece, Computer Communications"},{"key":"65_CR6","first-page":"23","volume-title":"Handbook of Software Engineering and Knowledge Engineering","author":"L. Ma","year":"2000","unstructured":"Ma, L., Tsai, J.: Formal Verification Techniques for Computer Communication Security Protocols. In: Handbook of Software Engineering and Knowledge Engineering, p. 23. World Scientific Publishing Company, Singapore (2000)"},{"key":"65_CR7","unstructured":"O\u010den\u00e1\u0161ek, P., Trchal\u00edk, R.: Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference, Ostrava, CZ, V\u0160B-Technical University of Ostrava, pp. 401\u2013404 (2006)"},{"key":"65_CR8","volume-title":"Genetic and Evolutionary Computation Conference GECCO 2006","author":"P. O\u010den\u00e1\u0161ek","year":"2006","unstructured":"O\u010den\u00e1\u0161ek, P., O\u010den\u00e1\u0161ek, J.: Designing Secure Communications Using Evolutionary Approach. In: Genetic and Evolutionary Computation Conference GECCO 2006, Seattle, WA, US. ACM, New York (2006)"},{"key":"65_CR9","unstructured":"O\u010den\u00e1\u0161ek, P.: Towards Selected Problems in the Security Protocol Design and Verification. In: 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS, Znojmo, CZ (2005)"},{"key":"65_CR10","first-page":"10","volume-title":"Proceedings of the 11th IEEE Computer Security Foundation Workshop","author":"V. Shmatikov","year":"1998","unstructured":"Shmatikov, V., Stern, U.: Efficient Finite-State Analysis for Large Security Protocols. In: Proceedings of the 11th IEEE Computer Security Foundation Workshop, p. 10. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"65_CR11","unstructured":"Alves-Foss, J., Soule, T.: A weakest precondition calculus for analysis of cryptographic protocols. In: DIMACS Workshop on Design and Formal Verification of Crypto Protocols (1997)"}],"container-title":["Lecture Notes in Computer Science","Human Interface and the Management of Information. Designing Information Environments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02556-3_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T22:01:01Z","timestamp":1582408861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02556-3_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025556","9783642025563"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02556-3_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}