Hitoshi Ohsaki, Toshinori Takai, Koichi Takahashi and Yoshiki Kinoshita:
Automated Verification Technologies for Secure Network Communications
(暗号通信手順の安全性自動検証技術に関する研究成果報告書).
(Partially in Japanese)
Technical Report AIST–PS–2003–003, AIST, 2003.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

Hitoshi Ohsaki and Toshinori Takai:
Automated Verification Techniques (1): Equational Tree Automata
(自動検証法 (1): 等式付木構造オートマトン).
Technical Report AIST–PS–2001–004, pp. 29–39, AIST, 2001.
AIST technical report URL: http://unit.aist.go.jp/cvs/techrep.html

• Full Papers in Refereed Journals and Proceedings
• Short Papers and Extended Abstracts in Proceedings
• Technical Reports and Drafts
• Lecture note
• Intellectual Properties (Patents and Software)

• Full Papers in Refereed Journals (in Japanese)
• Editing Books (in Japanese)
• Short Papers and Extended Abstracts in Proceedings (in Japanese)
• Technical Reports and Drafts
• Intellectual Properties