{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:12:07Z","timestamp":1740287527427,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_30","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:49:20Z","timestamp":1277700560000},"page":"383-396","source":"Crossref","is-referenced-by-count":1,"title":["Compositional Verification of Secure Streamed Data: A Case Study with EMSS"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Vaccarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Archer, M.: Proving Correctness of the Basic TESLA Multicast Stream Authentication Protocol with TAME. In: Proc. of WITS 2002 (2002)","DOI":"10.21236\/ADA464932"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/3-540-45931-6_6","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., Gorla, D.: On Compositional Reasoning in the Spi-Calculus. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 67\u201381. Springer, Heidelberg (2002)"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-45853-0_9","volume-title":"Computer Security - ESORICS 2002","author":"P. Broadfoot","year":"2002","unstructured":"Broadfoot, P., Lowe, G.: Analysing a Stream Authentication Protocol using Model Checking. In: Gollmann, D., Karjoth, G., Waidner, M. (eds.) ESORICS 2002. LNCS, vol.\u00a02502, pp. 146\u2013161. Springer, Heidelberg (2002)"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-45022-X_31","volume-title":"Automata, Languages and Programming","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Non Interference for the Analysis of Cryptographic Protocols. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol.\u00a01853, pp. 354\u2013372. Springer, Heidelberg (2000)"},{"key":"30_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1007\/3-540-48119-2_44","volume-title":"FM\u201999 - Formal Methods","author":"R. Focardi","year":"1999","unstructured":"Focardi, R., Martinelli, F.: A uniform approach for the definition of security properties. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 794\u2013813. Springer, Heidelberg (1999)"},{"issue":"1","key":"30_CR6","doi-asserted-by":"publisher","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. Information and Computation\u00a0165(1), 100\u2013116 (2001)","journal-title":"Information and Computation"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proc. of IEEE S&P 1982, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"30_CR8","unstructured":"Golle, P., Modadugu, N.: Authenticating Streamed Data in the Presence of Random Packet Loss. In: Proc. of NDSS 2001 (2001)"},{"key":"30_CR9","unstructured":"Gordon, A.D., Jeffrey, A.: Authenticity by Typing for Security Protocols. In: Proc. of IEEE CSFW 2001, pp. 126\u2013144 (2001)"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Gordon, A.D., Jeffrey, A.: Types and Effects for Asymmetric Cryptographic Protocols. In: Proc. of IEEE CSFW 2002, pp. 77\u201391 (2002)","DOI":"10.1109\/CSFW.2002.1021808"},{"key":"30_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-36575-3_9","volume-title":"Programming Languages and Systems","author":"R. Gorrieri","year":"2003","unstructured":"Gorrieri, R., Locatelli, E., Martinelli, F.: A Simple Language for Real-time Cryptographic Protocol Analysis. In: Degano, P. (ed.) ESOP 2003. LNCS, vol.\u00a02618, pp. 114\u2013128. Springer, Heidelberg (2003)"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Gorrieri, R., Martinelli, F., Petrocchi, M., Vaccarelli, A.: Compositional Verification of Integrity for Digital Stream Signature Protocols. In: Proc. of IEEE ACSD 2003, pp. 142\u2013149 (2003)","DOI":"10.1109\/CSD.2003.1207708"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"Guttman, J., Thayer, F.J.: Protocol Independence through Disjoint Encryption. In: Proc. of IEEE CSFW 2000, pp. 24\u201334 (2000)","DOI":"10.1109\/CSFW.2000.856923"},{"issue":"1","key":"30_CR14","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1016\/S0304-3975(02)00596-0","volume":"290","author":"F. Martinelli","year":"2003","unstructured":"Martinelli, F.: Analysis of Security Protocols as Open Systems. Theoretical Computer Science\u00a0290(1), 1057\u20131106 (2003)","journal-title":"Theoretical Computer Science"},{"key":"30_CR15","unstructured":"Martinelli, F., Petrocchi, M., Vaccarelli, A.: Analysing EMSS with Compositional Proof Rules for Non-Interference. In: Proc. of WITS 2003, pp. 52\u201361 (2003)"},{"key":"30_CR16","unstructured":"Pannetrat, A., Molva, R.: Efficient Multicast Packet Authentication. In: Proc. of NDSS 2003 (2003)"},{"key":"30_CR17","unstructured":"Park, J.M., Chong, E.K.P., Siegel, H.J.: Efficient Multicast Packet Authentication using Signature Amortization. In: Proc. of IEEE S&P 2002, pp. 227\u2013240 (2002)"},{"key":"30_CR18","volume-title":"Proc. of NDSS 2001","author":"A. Perrig","year":"2001","unstructured":"Perrig, A., Canetti, R., Song, D.X., Tygar, D.: Efficient and Secure Source Authentication for Multicast. In: Proc. of NDSS 2001, The Internet Society, San Diego (2001)"},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"Perrig, A., Canetti, R., Tygar, J.D., Song, D.X.: Efficient Authentication and Signing of Multicast Streams over Lossy Channels. In: Proc. of IEEE S&P 2000, pp. 56\u201373 (2000)","DOI":"10.1109\/SECPRI.2000.848446"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"Postel, J.: The User Datagram Protocol - RFC 768 (1980)","DOI":"10.17487\/rfc0768"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T08:38:59Z","timestamp":1740213539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}