"Noriki Amano,Takuo Watanabe","LampJ: A Library of Adaptable Modular Programming for Java","IASTED International Conference on Software Engineering and Applications (SEA '03)","IASTED International Conference on Software Engineering and Applications (SEA '03), ACTA Ppress",,,,"pp. 465-470",2003,Nov.
"山田聖,佐々木明,望月智之,渡部卓雄","JMLによるアプリケーションの安全性保証：Maildirフォルダライブラリの一貫性保証","日本ソフトウェア科学会 第20回大会","日本ソフトウェア科学会 第20回大会",,,,"pp. 2B-4 (5 pages)",2003,Sept.
"一杉裕志,田中哲,渡部卓雄","拡張ルール：安全に結合可能なアスペクトの記述ルール","第５回プログラミングおよびプログラミング言語ワークショップ(PPL 2003)",,"日本ソフトウェア科学会",,,"pp. 58-73",2003,Mar.
"Yuji Ichisugi,Akira Tanaka,Takuo Watanabe","Extension Rules: Description Rules for Safely Composable Aspects",,"AIST Technical Report",,,"No. AIST01-J00002-4",,2003,
"Takuo Watanabe,Kiyoshi Yamada,NAOYUKI NAGATOU","Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances","IEEE Workshop on Software Technologies fo Future Embedded Systems","IEEE Workshop on Software Technologies fo Future Embedded Systems",,,,"pp. 65-68",2003,
"ETSUYA SHIBAYAMA,Shigeki Hagihara,Naoki Kobayashi,Shin-ya Nishizaki,Kenjiro Taura,Takuo Watanabe","AnZenMail: A Secure and Certified E-mail System",,"Lecture Notes in Computer Science (Software Security: Theories and Systems)",,"Vol. 2609",,"pp. 201-216",2003,
"一杉裕志,田中哲,渡部卓雄","安全に結合可能なmixinを提供するためのルール",,"コンピュータソフトウェア","日本ソフトウェア科学会","Vol. 20","No. 3","pp. 80-87",2003,