|
渡部卓雄 2003年 研究業績一覧 (7件 / 243件)
論文
国際会議発表 (査読有り)
-
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,
Nov. 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.
-
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.
国内会議発表 (査読なし・不明)
-
山田聖,
佐々木明,
望月智之,
渡部卓雄.
JMLによるアプリケーションの安全性保証:Maildirフォルダライブラリの一貫性保証,
日本ソフトウェア科学会 第20回大会,
日本ソフトウェア科学会 第20回大会,
pp. 2B-4 (5 pages),
Sept. 2003.
-
一杉裕志,
田中哲,
渡部卓雄.
拡張ルール:安全に結合可能なアスペクトの記述ルール,
第5回プログラミングおよびプログラミング言語ワークショップ(PPL 2003),
日本ソフトウェア科学会,
pp. 58-73,
Mar. 2003.
その他の論文・著書など
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|