| |
| 2008 | ||
|---|---|---|
| 7 | EE | Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada: On Backward-Style Anonymity Verification. IEICE Transactions 91-A(9): 2597-2606 (2008) |
| 2007 | ||
| 6 | EE | 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 | EE | 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 | |
| 1 | Yoshinobu Kawabe | [6] [7] |
| 2 | Ken Mano | [6] [7] |
| 3 | Hideki Sakurada | [4] [6] [7] |