{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:32Z","timestamp":1725511892093},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540713142"},{"type":"electronic","value":"9783540713166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71316-6_26","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:58:28Z","timestamp":1184605108000},"page":"379-394","source":"Crossref","is-referenced-by-count":2,"title":["Probabilistic Anonymity Via Coalgebraic Simulations"],"prefix":"10.1007","author":[{"given":"Ichiro","family":"Hasuo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshinobu","family":"Kawabe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"36","volume-title":"Fourth ACM Conference on Computer and Communications Security","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.: A calculus for cryptographic protocols: The Spi calculus. In: Fourth ACM Conference on Computer and Communications Security, pp. 36\u201347. ACM Press, New York (1997)"},{"key":"26_CR2","unstructured":"Anonymity bibliography, http:\/\/freehaven.net\/anonbib\/"},{"key":"26_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1985","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin (1985)"},{"key":"26_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11539452_16","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"M. Bhargava","year":"2005","unstructured":"Bhargava, M., Palamidessi, C.: Probabilistic anonymity. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 171\u2013185. Springer, Heidelberg (2005)"},{"issue":"1","key":"26_CR5","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00206326","volume":"1","author":"D. Chaum","year":"1988","unstructured":"Chaum, D.: The dining cryptographers problem: Unconditional sender and recipient untraceability. Journ. of Cryptology\u00a01(1), 65\u201375 (1988)","journal-title":"Journ. of Cryptology"},{"key":"26_CR6","unstructured":"Cheung, L.: Reconciling Nondeterministic and Probabilistic Choices. PhD thesis, Radboud Univ. Nijmegen (2006)"},{"key":"26_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1103576.1103585","volume-title":"3rd ACM Workshop on Formal Methods in Security Engineering (FMSE05)","author":"F.D. Garcia","year":"2005","unstructured":"Garcia, F.D., et al.: Provable anonymity. In: K\u00fcsters, R., Mitchell, J. (eds.) 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE05), Alexandria, VA, U.S.A., November 2005, pp. 63\u201372. ACM Press, New York (2005)"},{"key":"26_CR8","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Anonymity and information hiding in multiagent systems. Journal of Computer Security, to appear."},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/11817949_27","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"I. Hasuo","year":"2006","unstructured":"Hasuo, I.: Generic forward and backward simulations. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 406\u2013420. Springer, Heidelberg (2006)"},{"key":"26_CR10","series-title":"Elect. Notes in Theor. Comp. Sci","first-page":"47","volume-title":"International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006)","author":"I. Hasuo","year":"2006","unstructured":"Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace theory. In: Ghani, N., Power, J. (eds.) International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006). Elect. Notes in Theor. Comp. Sci, vol.\u00a0164, pp. 47\u201365. Elsevier, Amsterdam (2006)"},{"issue":"1","key":"26_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/JCS-2004-12102","volume":"12","author":"D. Hughes","year":"2004","unstructured":"Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: A modular approach. Journal of Computer Security\u00a012(1), 3\u201336 (2004)","journal-title":"Journal of Computer Security"},{"key":"26_CR12","unstructured":"Kawabe, Y., et al.: Backward simulations for anonymity. In: International Workshop on Issues in the Theory of Security (WITS \u201906) (2006)"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Kawabe, Y., et al.: Theorem-proving anonymity of infinite state systems. Information Processing Letters\u00a0101(1) (2007)","DOI":"10.1016\/j.ipl.2006.06.016"},{"issue":"2","key":"26_CR14","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N. Lynch","year":"1995","unstructured":"Lynch, N., Vaandrager, F.: Forward and backward simulations. I.\u00a0Untimed systems. Inf. & Comp.\u00a0121(2), 214\u2013233 (1995)","journal-title":"Inf. & Comp."},{"key":"26_CR15","series-title":"Elect. Notes in Theor. Comp. Sci","first-page":"33","volume-title":"MFPS \u201905","author":"C. Palamidessi","year":"2006","unstructured":"Palamidessi, C.: Probabilistic and nondeterministic aspects of anonymity. In: MFPS \u201905. Elect. Notes in Theor. Comp. Sci, vol.\u00a0155, pp. 33\u201342. Elsevier, Amsterdam (2006)"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"Pfitzmann, A., K\u00f6hntopp, M.: Anonymity, unobservability, and pseudonymity: A proposal for terminology. Draft, version 0.17 (July 2000)","DOI":"10.1007\/3-540-44702-4_1"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Probabilistic noninterference for multi-threaded programs. In: Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW\u201900), pp. 200\u2013214 (2000)","DOI":"10.1109\/CSFW.2000.856937"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-61770-1_38","volume-title":"Computer Security - ESORICS 96","author":"S. Schneider","year":"1996","unstructured":"Schneider, S., Sidiropoulos, A.: CSP and anonymity. In: Martella, G., et al. (eds.) ESORICS 1996. LNCS, vol.\u00a01146, pp. 198\u2013218. Springer, Heidelberg (1996)"},{"issue":"2","key":"26_CR19","first-page":"250","volume":"2","author":"R. Segala","year":"1995","unstructured":"Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journ. Comput.\u00a02(2), 250\u2013273 (1995)","journal-title":"Nordic Journ. Comput."},{"key":"26_CR20","unstructured":"Serjantov, A.: On the Anonymity of Anonymity Systems. PhD thesis, University of Cambridge (March 2004)"},{"issue":"3","key":"26_CR21","doi-asserted-by":"crossref","first-page":"355","DOI":"10.3233\/JCS-2004-123-403","volume":"12","author":"V. Shmatikov","year":"2004","unstructured":"Shmatikov, V.: Probabilistic model checking of an anonymity system. Journ. of Computer Security\u00a012(3), 355\u2013377 (2004)","journal-title":"Journ. of Computer Security"},{"key":"26_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.: The linear time-branching time spectrum (extended abstract). In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"issue":"1","key":"26_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0960129505005074","volume":"16","author":"D. Varacca","year":"2006","unstructured":"Varacca, D., Winskel, G.: Distributing probabililty over nondeterminism. Math. Struct. in Comp. Sci.\u00a016(1), 87\u2013113 (2006)","journal-title":"Math. Struct. in Comp. Sci."},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Volpano, D.M., Smith, G.: Probabilistic noninterference in a concurrent language. Journ. of Computer Security\u00a07(1) (1999)","DOI":"10.3233\/JCS-1999-72-305"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:50:06Z","timestamp":1556682606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71316-6_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713142","9783540713166"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}