工学博士(大阪大学、1997年)

大阪大学大学院基礎工学研究科博士後期課程修了(1997)
奈良先端科学技術大学院大学情報科学研究科助手を経て現職

ソフトウェア科学

電子情報通信学会, 情報処理学会

形式的仕様記述・検証法, プログラムの静的解析法

1) Digital Audio-Visual Counsil, Member of Advisary
Committee
2) 学協会の理事、評議員等
3) 高知県地域情報化関連委員会、各委員

学　部：初等代数学, ソフトウェア工学, 情報システム工学実験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.