 | 2009 |
|---|
| 6 |       | Yasuyuki Tsukada,
Ken Mano,
Hideki Sakurada,
Yoshinobu Kawabe:
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.
CSE (3) 2009: 42-51 |
| 2008 |
|---|
| 5 | | Yoshinobu Kawabe,
Hideki Sakurada:
An Adversary Model for Simulation-Based Anonymity Proof.
IEICE Transactions 91-A(4): 1112-1120 (2008) |
| 4 | | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
On Backward-Style Anonymity Verification.
IEICE Transactions 91-A(9): 2597-2606 (2008) |
| 2007 |
|---|
| 3 | | Yoshinobu Kawabe,
Hideki Sakurada:
A Formal Approach to Designing Anonymous Software.
SERA 2007: 203-212 |
| 2 | | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
Theorem-proving anonymity of infinite-state systems.
Inf. Process. Lett. 101(1): 46-51 (2007) |
| 2001 |
|---|
| 1 |  | Hideki Sakurada,
Yasuyuki Tsukada:
A Role-Based Specification of the SET Payment Transaction Protocol.
Network Security 2001: 1-15 |
