{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:06:11Z","timestamp":1736226371457,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308560"},{"type":"electronic","value":"9783540322764"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11599463_108","type":"book-chapter","created":{"date-parts":[[2005,12,5]],"date-time":"2005-12-05T09:50:56Z","timestamp":1133776256000},"page":"1095-1102","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Symbolic Bisimulation for the Spi Calculus"],"prefix":"10.1007","author":[{"given":"Yinhua","family":"L\u00fc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaorong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luming","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hangjun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"108_CR1","first-page":"267","volume":"5","author":"M. Abadi","year":"1998","unstructured":"Abadi, M., Gordon, A.D.: A bisimulation method for cryptographic protocols. Nordic Journal of Computing\u00a05(4), 267\u2013303 (1998)","journal-title":"Nordic Journal of Computing"},{"issue":"1","key":"108_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation\u00a0148(1), 1\u201370 (1999)","journal-title":"Information and Computation"},{"issue":"3","key":"108_CR3","doi-asserted-by":"publisher","first-page":"947","DOI":"10.1137\/S0097539700377864","volume":"31","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Proof techniques for cryptographic processes. SIAM Journal on Computing\u00a031(3), 947\u2013986 (2002)","journal-title":"SIAM Journal on Computing"},{"key":"108_CR4","doi-asserted-by":"crossref","unstructured":"Borgstr\u00f6m, J., Nestmann, U.: On bisimulations for the spi-calculus. Technical Report, EPFL, Switzerland (2003)","DOI":"10.1007\/3-540-45719-4_20"},{"key":"108_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-540-28644-8_11","volume-title":"CONCUR 2004 - Concurrency Theory","author":"J. Borgstr\u00f6m","year":"2004","unstructured":"Borgstr\u00f6m, J., Briais, S., Nestmann, U.: Symbolic bisimulations in the spi calculus. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 161\u2013176. Springer, Heidelberg (2004)"},{"key":"108_CR6","first-page":"61","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking, pp. 61\u201387. MIT Press, Cambridge (1999)"},{"key":"108_CR7","doi-asserted-by":"crossref","unstructured":"Fiore, M., Abadi, M.: Computing symbolic models for verifying cryptographic protocols. In: Proc. of 14th IEEE CSFW, pp. 160\u2013173 (2001)","DOI":"10.1109\/CSFW.2001.930144"},{"key":"108_CR8","volume-title":"Commnunicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Commnunicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)"},{"key":"108_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. Theoretical Computer Science\u00a0138, 353\u2013389 (1995)","journal-title":"Theoretical Computer Science"},{"key":"108_CR10","doi-asserted-by":"crossref","unstructured":"L\u00fc, Y.H., Gu, Y.G., Chen, X.R., Fu, Y.: Analyzing security protocols by a bisimulation method based on environmental knowledge. In: Proc. of ICCCAS 2005, pp. 79\u201383 (2005)","DOI":"10.1109\/ICCCAS.2005.1493366"},{"issue":"1","key":"108_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"108_CR12","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall International, Englewood Cliffs (1989)"},{"issue":"9","key":"108_CR13","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1109\/32.713329","volume":"24","author":"S. Schneider","year":"1998","unstructured":"Schneider, S.: Verifying authentication protocols in CSP. IEEE Tran. Softw. Eng.\u00a024(9), 741\u2013758 (1998)","journal-title":"IEEE Tran. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Mobile Ad-hoc and Sensor Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11599463_108.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T04:54:52Z","timestamp":1736139292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11599463_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308560","9783540322764"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11599463_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}