论文信息 - Theorem-proving anonymity of infinite-state systems - 字舞流文

Theorem-proving anonymity of infinite-state systems

Ken Mano | Hideki Sakurada | Yasuyuki Tsukada | Yoshinobu Kawabe

[1] Vitaly Shmatikov,et al. Information Hiding, Anonymity and Privacy: a Modular Approach , 2004, J. Comput. Secur..

[2] Steve A. Schneider,et al. CSP and Anonymity , 1996, ESORICS.

[3] Nancy A. Lynch,et al. Forward and Backward Simulations: I. Untimed Systems , 1995, Inf. Comput..

[4] Martín Abadi,et al. Private authentication , 2004, Theor. Comput. Sci..

[5] Joseph Y. Halpern,et al. Anonymity and information hiding in multiagent systems , 2005 .