{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:50:35Z","timestamp":1725454235237},"publisher-location":"New York","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387244859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-24486-7_16","type":"book-chapter","created":{"date-parts":[[2005,10,9]],"date-time":"2005-10-09T22:15:45Z","timestamp":1128896145000},"page":"209-221","source":"Crossref","is-referenced-by-count":0,"title":["An Extension of Typed MSR for Specifying Esoteric Protocols and Their Dolev-Yao Intruder"],"prefix":"10.1007","author":[{"given":"Theodoras","family":"Balopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephanos","family":"Gritzalis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sokratis K.","family":"Katsikas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"D. Aspinall and A. Compagnoni. Subtyping dependent types. In E. Clarke, editor, Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 86\u201397. IEEE Computer Society Press, July 1996.","DOI":"10.1109\/LICS.1996.561307"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Theodoros Balopoulos and Stephanos Gritzalis. Towards a logic of privacy-preserving selective disclosure credential protocols. In J. Lopez and G. Pernul, editors, Proceedings of the DEXA 2003 \u2014 TRUSTBUS'03 2nd International Workshop on Trust and Privacy in Digital Business, pages 396\u2013401, Prague, Czech Republic, September 2003. IEEE Computer Society Press.","DOI":"10.1109\/DEXA.2003.1232054"},{"key":"16_CR3","unstructured":"Iliano Cervesato. Typed Multiset Rewriting Specifications of Security Protocols. In A. Seda, editor, First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology \u2014 MFCSIT'00, pages 1\u201343, Cork, Ireland, 19\u201321 July 2000. Elsevier ENTCS 40."},{"key":"16_CR4","unstructured":"Iliano Cervesato. Typed MSR: Syntax and Examples. In V.I. Gorodetski, V.A. Skormin, and L.J. Popyack, editors, First International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security \u2014 MMM'01, pages 159\u2013177, St. Petersburg, Russia, 21\u201323 May 2001. Springer-Verlag LNCS 2052."},{"issue":"10","key":"16_CR5","doi-asserted-by":"crossref","first-page":"1030","DOI":"10.1145\/4372.4373","volume":"28","author":"D. Chaum","year":"1985","unstructured":"David Chaum. Security without identification: transaction systems to make big brother obsolete. Communications of the Association for Computing Machinery, 28(10):1030\u20131044, October 1985.","journal-title":"Communications of the Association for Computing Machinery"},{"issue":"29","key":"16_CR6","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"2","author":"D. Dolev","year":"1983","unstructured":"D. Dolev and A. C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 2(29): 198\u2013208, 1983.","journal-title":"IEEE Transactions on Information Theory"},{"key":"16_CR7","unstructured":"Jason E. Holt and Kent E. Seamons. Selective disclosure credential sets. Accessible as http:\/\/citeseer.nj.nec.com\/541329.html, 2002."},{"key":"16_CR8","unstructured":"Alfred J. Menezes, Paul C. van Oorschot, and Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1997."},{"key":"16_CR9","unstructured":"Bruce Schneier. Applied Cryptography. John Wiley & Sons, 1996."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Paul Syverson, Catherine Meadows, and Iliano Cervesato. Dolev-Yao is no better than Machiavelli. In P. Degano, editor, First Workshop on Issues in the Theory of Security \u2014 WITS'00, pages 87\u201392, July 2000.","DOI":"10.21236\/ADA464936"}],"container-title":["IFIP \u2014 The International Federation for Information Processing","Communications and Multimedia Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24486-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T04:55:05Z","timestamp":1619499305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24486-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387244859"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/0-387-24486-7_16","relation":{},"subject":[]}}