高知工科大学：情報システム工学科

高田喜朗　TAKATA, Yoshiaki
■職名	講師
■生年	1969年
■E-Mail	takata.yoshiaki@kochi-tech.ac.jp
■所属	情報システム工学教室工学部　情報システム工学科大学院工学研究科　基盤工学専攻　情報システム工学コース
■学位	博士（工学）（大阪大学、1997年）
■学歴・職歴	大阪大学大学院基礎工学研究科博士後期課程修了（1997），奈良先端科学技術大学院大学情報科学研究科助手を経て現職
■専門分野	ソフトウェア科学
■所属学会	電子情報通信学会，情報処理学会
■相談可能な領域	形式的仕様記述・検証法, プログラムの静的解析法
■講義科目	学　部：初等代数学, ソフトウェア工学, 情報システム工学実験2 大学院：先導的ソフトウェア構成論, オペレーティングシステム論
■現在の研究・開発研究領域	ポリシー制御付きプログラムのモデル検査法, XMLデータベースのアクセス制御モデル
■代表的な研究論文・設計・作品・調査等	1）高田喜朗, 中村岳志, 関浩之, 'XML文章に対するアクセシビリティガイドライン適合性検証'. 電子情報通信学会論文誌D, Vol.98-D, No.4, pp.705-715, April 2006. 2） Isao Yagi, Yoshiaki Takata, and Hiroyuki Seki. 'A Static Analysis using Tree Automata for XML Access Control'. コンピュータソフトウェア, Vol.23, No.3, pp.51-65, July 2006. 3） Jing Wang, Yoshiaki Takata, and Hiroyuki Seki. 'HBAC: A Model for History-based Access Control and Its Model Checking'. 11th European Symposium On Research In Computer Security (ESORICS 2006), Lecture Notes in Computer Science 4189, pp.263-278, Sept. 2006.
■最近５年間の研究論文・設計・作品・調査等	1） Isao Yagi, Yoshiaki Takata, and Hiroyuki Seki. 'A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power'. IEICE Transactions on Information and Systems, VolE90-D, No.5, May 2007. 2） Hisashi Mouri, Ikuya Yasuda, Yoshiaki Takata, and Hiroyuki Seki. 'Certificate Chain Discovery in Web of Trust for Ad Hoc Networks'. 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), May 2007. 3） Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, and Hiroyuki Seki. 'Integrating Presence Inference into Trust Management for Ubiquitous Systems'. 11th ACM Symposium on Access Control Models and Technologies (SACMAT 2006), pp.59-68, June 2006. 4） Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, and Hiroyuki Seki. 'Policy Controlled System and Its Model Checking'. IEICE Transactions on Information and Systems, Vol.E88-D, No.7, pp.1685-1696, July 2005. 5） Susumu Kiyamura, Yoshiaki Takata, and Hiroyuki Seki. 'Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition' . Fifth International Conference on Parallel Processing and Applied Mathematics (PPAM 2003), Revised Papers, Lecture Notes in Computer Science 3019, pp.298-305, 2004. 6） Yoshiaki Takata, Takeshi Nakamura, and Hiroyuki Seki. 'Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language'. 10th International Conference on Human-Computer Interaction (HCII 2003), Vol.4:Universal Access in HCI, pp.1040-1044, June 2003.