 | 2009 |
|---|
| 8 |       | Yasuyuki Tsukada,
Ken Mano,
Hideki Sakurada,
Yoshinobu Kawabe:
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.
CSE (3) 2009: 42-51 |
| 2008 |
|---|
| 7 | | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
On Backward-Style Anonymity Verification.
IEICE Transactions 91-A(9): 2597-2606 (2008) |
| 2007 |
|---|
| 6 | | Yoshinobu Kawabe,
Ken Mano,
Hideki Sakurada,
Yasuyuki Tsukada:
Theorem-proving anonymity of infinite-state systems.
Inf. Process. Lett. 101(1): 46-51 (2007) |
| 2005 |
|---|
| 5 | | Yasuyuki Tsukada:
Interactive and Probabilistic Proof of Mobile Code Safety.
Autom. Softw. Eng. 12(2): 237-257 (2005) |
| 2001 |
|---|
| 4 |  | Hideki Sakurada,
Yasuyuki Tsukada:
A Role-Based Specification of the SET Payment Transaction Protocol.
Network Security 2001: 1-15 |
| 3 | | Yasuyuki Tsukada:
Martin-Löf's Type Theory as an Open-Ended Framework.
Int. J. Found. Comput. Sci. 12(1): 31-67 (2001) |
| 2 | | Yasuyuki Tsukada:
Errata to ``Martin-Löf's Type Theory as an Open-Ended Framework''.
Int. J. Found. Comput. Sci. 12(5): 695 (2001) |
| 1998 |
|---|
| 1 | | Yasuyuki Tsukada:
Type-free Equational Reasoning in the Theeory of Inductively Defined Types.
Fuji International Symposium on Functional and Logic Programming 1998: 227-246 |
