{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:53:45Z","timestamp":1725486825124},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430926"},{"type":"electronic","value":"9783540455875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45587-6_1","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T17:19:19Z","timestamp":1182705559000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["Using a Declarative Language to Build an Experimental Analysis Tool"],"prefix":"10.1007","author":[{"given":"Catherine","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"D. Dolev, S. Even, and R. Karp. On the Security of Ping-Pong Protocols. Information and Control, pages 57\u201368, 1982.","DOI":"10.1016\/S0019-9958(82)90401-6"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"C. Meadows. A system for the specification and verification of key management protocols. In Proceedings of the 1991 IEEE Symposium in Research in Security and Privacy. IEEE Computer Society Press, May 1991.","DOI":"10.1109\/RISP.1991.130786"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Catherine Meadows. Language generation and verification in the NRL protocol analyzer. In Proceedings of the 9th Computer Security Foundations Workshop. IEEE Computer Society Press, 1996.","DOI":"10.1109\/CSFW.1996.503690"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Catherine Meadows. Analysis of the Internet Key Exchange protocol using the NRL Protocol Analyzer. In Proceedings of the 1999 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 1999.","DOI":"10.21236\/ADA465466"},{"key":"1_CR5","unstructured":"Catherine Meadows. Experiences in the formal analyzer of the GDOI protocol. In Proceedings of Verlassliche IT-Systeme 2001-Sicherheit in komplexen ITInfrastrukturen, 2001."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"J. K. Millen. The interrogator: A tool for cryptographic protocol security. In Proc. 1984 Symp. Security and Privacy, pages 134\u2013141. IEEE Computer Society Press, 1984.","DOI":"10.1109\/SP.1984.10003"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45587-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T01:02:48Z","timestamp":1547859768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45587-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12,20]]},"ISBN":["9783540430926","9783540455875"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45587-6_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001,12,20]]}}}