Generic Forward and Backward Simulations一般正向和反向模拟.pptVIP

Probabilistic Anonymity via Coalgebraic Simulations Ichiro Hasuo Radboud Universiteit Nijmegen, the Netherlands (From 2007.5, also at: RIMS, Kyoto Univ., Japan) Joint work with Yoshinobu Kawabe NTT Communication Science Laboratories, Japan Online privacy Online anonymity is attracting growing Threats ISPs in EU are forced to keep logs of your web access Your passport stores your fingerprint on a RFID chip Public concerns Research interest See Anonymity Bibliography /anonbib/ The field is quite young Compared to “traditional” security notions such as secrecy, authenticatio