{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T06:50:40Z","timestamp":1673247040286},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,8,8]],"date-time":"2014-08-08T00:00:00Z","timestamp":1407456000000},"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":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10207-014-0251-z","type":"journal-article","created":{"date-parts":[[2014,8,7]],"date-time":"2014-08-07T12:56:11Z","timestamp":1407416171000},"page":"187-204","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verifying multicast-based security protocols using the inductive method"],"prefix":"10.1007","volume":"14","author":[{"given":"Jean Everson","family":"Martina","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence Charles","family":"Paulson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,8]]},"reference":[{"issue":"1","key":"251_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1093\/comjnl\/44.1.21","volume":"44","author":"G Anastasi","year":"2001","unstructured":"Anastasi, G., Bartoli, A., Francesco, N.D., Santone, A.: Efficient verification of a multicast protocol for mobile computing. Comput. J. 44(1), 21\u201330 (2001)","journal-title":"Comput. J."},{"key":"251_CR2","doi-asserted-by":"crossref","unstructured":"Archer, M.: Proving correctness of the basic TESLA multicast stream authentication protocol with TAME*. In: Workshop on Issues in the Theory of Security. Portland, USA (2002)","DOI":"10.21236\/ADA464932"},{"key":"251_CR3","doi-asserted-by":"crossref","unstructured":"Arsac, W., Bella, G., Chantry, X., Compagna, L.: Multi-attacker Protocol Validation. JAR 45 (2010)","DOI":"10.1007\/s10817-010-9185-y"},{"key":"251_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68136-6","volume-title":"Formal Correctness of Security Protocols. Information Security and Cryptography","author":"G Bella","year":"2007","unstructured":"Bella, G.: Formal Correctness of Security Protocols. Information Security and Cryptography. Springer, Heidelberg (2007)"},{"key":"251_CR5","doi-asserted-by":"crossref","unstructured":"Bella, G., Paulson, L.C., Massacci, F.: The verification of an industrial payment protocol: the set purchase phase. In: 9th ACM CCCS (2002)","DOI":"10.1145\/586110.586113"},{"key":"251_CR6","doi-asserted-by":"crossref","unstructured":"Bogetoft, P., Christensen, D.L., Damg\u00e5rd, I., Geisler, M., Jakobsen, T.P., Kr\u00f8igaard, M., Nielsen, J.D., Nielsen, J.B., Nielsen, K., Pagter, J., Schwartzbach, M.I., Toft, T.: Secure multiparty computation goes live. In: Financial Cryptography. LNCS, vol. 5628, pp. 325\u2013343. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03549-4_20"},{"key":"251_CR7","doi-asserted-by":"crossref","unstructured":"Brown, I., Perkins, C., Crowcroft, J.: Watercasting: Distributed watermarking of multicast media. In: Rizzo, L., Fdida, S. (eds.) Networked Group Communication. LNCS, vol. 1736, pp. 286\u2013300. Springer, Berlin (1999)","DOI":"10.1007\/978-3-540-46703-8_18"},{"key":"251_CR8","doi-asserted-by":"crossref","unstructured":"Butin, D., Gray, David, T., Bella, G.: Towards verifying voter privacy through unlinkability. In: ESSoS13, pp. 91\u2013106. LNCS, Springer, Rocquencourt, France (2013)","DOI":"10.1007\/978-3-642-36563-8_7"},{"key":"251_CR9","doi-asserted-by":"crossref","unstructured":"Chridi, N., Turuani, M., Rusinowitch, M.: Decidable analysis for a class of cryptographic group protocols with unbounded lists. In: CSF, pp. 277\u2013289. IEEE Computer Society (2009)","DOI":"10.1109\/CSF.2009.10"},{"key":"251_CR10","doi-asserted-by":"crossref","unstructured":"Cortier, V., Smyth, B.: Attacking and fixing Helios: an analysis of ballot secrecy. . In: Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF\u201911), pp. 297\u2013311. IEEE Computer Society Press, Cernay-la-Ville, France (2011)","DOI":"10.1109\/CSF.2011.27"},{"issue":"5","key":"251_CR11","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1109\/32.502223","volume":"22","author":"MK Franklin","year":"1996","unstructured":"Franklin, M.K., Reiter, M.K.: The design and implementation of a secure auction service. IEEE Trans. Softw. Eng. 22(5), 302\u2013312 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"251_CR12","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1006\/inco.2000.2916","volume":"165","author":"R Gennaro","year":"2001","unstructured":"Gennaro, R., Rohatgi, P.: How to sign digital streams. Inf. Comput. 165(1), 100\u2013116 (2001)","journal-title":"Inf. Comput."},{"key":"251_CR13","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s10817-008-9112-7","volume":"41","author":"R Gorrieri","year":"2008","unstructured":"Gorrieri, R., Martinelli, F., Petrocchi, M.: Formal models and analysis of secure multicast in wired and wireless networks. J. Autom. Reas. 41, 325\u2013364 (2008)","journal-title":"J. Autom. Reas."},{"key":"251_CR14","doi-asserted-by":"crossref","unstructured":"Hardjono, T., Weis, B.: The Multicast Group Security Architecture. RFC 3740 (2004)","DOI":"10.17487\/rfc3740"},{"key":"251_CR15","doi-asserted-by":"crossref","unstructured":"Harney, H., Muckenhirn, C.: RFC 2094: Group Key Management Protocol (GKMP) Architecture (1997)","DOI":"10.17487\/rfc2094"},{"key":"251_CR16","unstructured":"Huang, D., Medhi, D.: A byzantine resilient multi-path key establishment scheme and its robustness analysis for sensor networks. In: 19th IPDPS (2005)"},{"issue":"1","key":"251_CR17","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/332198.332204","volume":"2","author":"JA Kreibich","year":"1995","unstructured":"Kreibich, J.A.: The MBONE: the internet\u2019s other backbone. Crossroads 2(1), 5\u20137 (1995)","journal-title":"Crossroads"},{"key":"251_CR18","doi-asserted-by":"crossref","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem. ACM TPLS 4 (1982)","DOI":"10.1145\/357172.357176"},{"key":"251_CR19","doi-asserted-by":"crossref","unstructured":"Meadows, C., Syverson, P., Cervesato, I.: Formal specification and analysis of the group domain of intrepretation protocol using NPATRL and the NRL protocol analyzer. J. Comput. Secur. 12 (2004)","DOI":"10.3233\/JCS-2004-12604"},{"key":"251_CR20","doi-asserted-by":"crossref","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978)","DOI":"10.1145\/359657.359659"},{"key":"251_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"T Nipkow","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. Springer, Berlin (2002)"},{"key":"251_CR22","doi-asserted-by":"crossref","unstructured":"Paiola, M., Blanchet, B.: Verification of security protocols with lists: from length one to unbounded length. In: POST, vol. 2012, pp. 69\u201388 (2012)","DOI":"10.1007\/978-3-642-28641-4_5"},{"key":"251_CR23","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"LC Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. J. Comput. Secur. 6, 85\u2013128 (1998)","journal-title":"J. Comput. Secur."},{"key":"251_CR24","unstructured":"Pinto, A., Ricardo, M.: SMIz: secure multicast IPTV with efficient support for video channel zapping. In: Proceedings of the NAEC 2008 (2008)"},{"key":"251_CR25","doi-asserted-by":"crossref","unstructured":"Quinn, B., Almeroth, K.: IP Multicast Applications: Challenges and Solutions. RFC 3170 (2001)","DOI":"10.17487\/rfc3170"},{"issue":"1","key":"251_CR26","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2004.05.023","volume":"125","author":"G Steel","year":"2005","unstructured":"Steel, G., Bundy, A.: Attacking group multicast key management protocols using CORAL. Electr. Notes Theor. Comput. Sci 125(1), 125\u2013144 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-014-0251-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-014-0251-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-014-0251-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T17:16:03Z","timestamp":1565716563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-014-0251-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,8]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["251"],"URL":"https:\/\/doi.org\/10.1007\/s10207-014-0251-z","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"value":"1615-5262","type":"print"},{"value":"1615-5270","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8,8]]}}}