{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:17Z","timestamp":1725574457771},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540406655"},{"type":"electronic","value":"9783540451334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45133-4_6","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T21:45:22Z","timestamp":1294523122000},"page":"68-78","source":"Crossref","is-referenced-by-count":1,"title":["Automated Protocol Analysis in Maude"],"prefix":"10.1007","author":[{"given":"Jeffrey","family":"Van Baalen","sequence":"first","affiliation":[]},{"given":"Thomas","family":"B\u00f6hne","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/32.481513","volume":"22","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Needham, R.M.: Prudent engineering practice for cryptographic protocols. Software Engineering\u00a022, 6\u201315 (1996), http:\/\/citeseer.nj.nec.com\/abadi96prudent.html","journal-title":"Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Tools and Algorithms for Construction and Analysis of Systems, 147\u2013166 (1996), http:\/\/citeseer.nj.nec.com\/lowe96breaking.html","key":"6_CR2","DOI":"10.1007\/3-540-61042-1_43"},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: Some new attacks upon security protocols. In: PCSFW: Proceedings of The 9th Computer Security Foundations Workshop. IEEE Computer Society Press, Los Alamitos (1996), http:\/\/citeseer.nj.nec.com\/article\/lowe96some.html","key":"6_CR3","DOI":"10.1109\/CSFW.1996.503701"},{"unstructured":"Lowe, G.: A family of attacks upon authentication protocols. Technical report, Department of Mathematics and Computer Science, University of Leicester (1997), http:\/\/citeseer.nj.nec.com\/lowe97family.html","key":"6_CR4"},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: Casper: A compiler for the analysis of security protocols. In: PCSFW: Proceedings of The 10th Computer Security Foundations Workshop. IEEE Computer Society Press, Los Alamitos (1997), http:\/\/citeseer.nj.nec.com\/lowe98casper.html","key":"6_CR5","DOI":"10.1109\/CSFW.1997.596779"},{"key":"6_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/3-540-45484-5_15","volume-title":"Formal Approaches to Agent-Based Systems","author":"J.V. Baalen","year":"2001","unstructured":"Baalen, J.V., Caldwell, J.L., Mishra, S.: Specifying and checking fault-tolerant agent-based protocols using Maude. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, pp. 180\u2013193. Springer, Heidelberg (2001), http:\/\/citeseer.nj.nec.com\/vanbaalen00specifying.html"},{"unstructured":"Clavel, M., Dur??n, F., Eker, S., Lincoln, P., Mart??-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic (1999);","key":"#cr-split#-6_CR7.1"},{"unstructured":"Manual distributed as documentation of the Maude system, Computer Science Laboratory, SRI International, http:\/\/maude.csl.sri.com\/manual","key":"#cr-split#-6_CR7.2"},{"unstructured":"Denker, G., Millen, J., Rue\u00df, H.: The CAPSL integrated protocol environment. Technical Report SRI-CSL-2000-02, Computer Science Laboratory, SRI International (2000), http:\/\/www.csl.sri.com\/papers\/sri-csl-2000-02\/","key":"6_CR8"},{"unstructured":"B\u00f6hne, T.: A general intruder for security protocols in Maude. Master\u2019s thesis, University of Wyoming (2002)","key":"6_CR9"},{"unstructured":"Denker, G., Meseguer, J., Talcott, C.: Protocol specification and analysis in Maude. In: Proceedings of Workshop on Formal Methods and Security Protocols (1998), http:\/\/maude.csl.sri.com\/papers\/abstract\/DMTprotocol_1998.html","key":"6_CR10"},{"unstructured":"Denker, G., Millen, J.: CAPSL intermediate language. In: Formal Methods and Security Protocols, CAV Workshop (1999), http:\/\/citeseer.nj.nec.com\/denker99capsl.html","key":"6_CR11"},{"unstructured":"Denker, G.: Design of a CIL connector to Maude. In: 2000 Workshop on Formal Methods and Computer Security, Chicago, USA (2000), http:\/\/www.csl.sri.com\/users\/denker\/publ\/Den00.ps.gz","key":"6_CR12"},{"unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J.: Building equational proving tools by reflection in rewriting logic. In: Proceedings of the CafeOBJ Symposium 1998, CafeOBJ Project, Numazu, Japan (1998), http:\/\/maude.csl.sri.com\/papers","key":"6_CR13"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45133-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T18:25:34Z","timestamp":1559931934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45133-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540406655","9783540451334"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45133-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}