Theorem-proving anonymity of infinite-state systems

Authors:
Yoshinobu Kawabe;Ken Mano;Hideki Sakurada;Yasuyuki Tsukada
Affiliations:
NTT Communication Science Laboratories, NTT Corporation, Japan;NTT Communication Science Laboratories, NTT Corporation, Japan;NTT Communication Science Laboratories, NTT Corporation, Japan;NTT Communication Science Laboratories, NTT Corporation, Japan
Venue:
Information Processing Letters
Year:
2007

Forward and backward simulations I.: untimed systems

Information and Computation
CSP and Anonymity

ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
Private authentication

Theoretical Computer Science - Special issue: Foundations of wide area network computing
Anonymity and information hiding in multiagent systems

Journal of Computer Security
Information hiding, anonymity and privacy: a modular approach

Journal of Computer Security - Special issue on WITS'02

An Adversary Model for Simulation-Based Anonymity Proof

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
On Backward-Style Anonymity Verification

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Probabilistic anonymity via coalgebraic simulations

ESOP'07 Proceedings of the 16th European conference on Programming
Probabilistic anonymity via coalgebraic simulations

Theoretical Computer Science
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach

Transactions on Data Privacy

Hi-index	0.89