Yoshiaki Takata

	2009
18		Yoshiaki Takata, Hiroyuki Seki: Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation. IEICE Transactions 92-D(2): 200-210 (2009)
17		Yoshiaki Takata, Hiroyuki Seki: Comparison of the Expressive Power of Language-Based Access Control Models. IEICE Transactions 92-D(5): 1033-1036 (2009)
	2007
16		Hisashi Mohri, Ikuya Yasuda, Yoshiaki Takata, Hiroyuki Seki: Certificate Chain Discovery in Web of Trust for Ad Hoc Networks. AINA Workshops (2) 2007: 479-485
15		Isao Yagi, Yoshiaki Takata, Hiroyuki Seki: A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power. IEICE Transactions 90-D(5): 799-807 (2007)
	2006
14		Jing Wang, Yoshiaki Takata, Hiroyuki Seki: HBAC: A Model for History-Based Access Control and Its Model Checking. ESORICS 2006: 263-278
13		Jun Noda, Mie Takahashi, Itaru Hosomi, Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki: Integrating presence inference into trust management for ubiquitous systems. SACMAT 2006: 59-68
	2005
12		Isao Yagi, Yoshiaki Takata, Hiroyuki Seki: A Static Analysis Using Tree Automata for XML Access Control. ATVA 2005: 234-247
11		Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005)
	2004
10		Yoshiaki Takata, Takeshi Nakamura, Hiroyuki Seki: Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool. HICSS 2004
	2003
9		Susumu Kiyamura, Yoshiaki Takata, Hiroyuki Seki: Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition. PPAM 2003: 298-305
	2002
8		Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki: A Specification Language for Distributed Policy Control. ICICS 2002: 386-398
7		Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue: An information-leak analysis system based on program slicing. Information & Software Technology 44(15): 903-910 (2002)
	2001
6		Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki: An efficient security verification method for programs with stack inspection. ACM Conference on Computer and Communications Security 2001: 68-77
5		Reishi Yokomori, Fumiaki Ohata, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue: Analysis and Implementation Method of Program to Detect Inappropriate Information Leak. APAQS 2001: 5-12
4		Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue: An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. ICICS 2001: 292-303
3		Mizuho Ikeda, Yoshiaki Takata, Hiroyuki Seki: Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design. ISAS-SCI (1) 2001: 422-428
2		Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata: Security verification of programs with stack inspection. SACMAT 2001: 31-40
	2000
1		Yoshiaki Takata, Kokoro Nakagawa, Hiroyuki Seki: Flexible Category Structure for Supporting WWW Retrieval. ER (Workshops) 2000: 165-177

Coauthor Index

1	Itaru Hosomi	[13]
2	Mizuho Ikeda	[3]
3	Katsuro Inoue	[4] [5] [7]
4	Susumu Kiyamura	[9]
5	Shigeta Kuninobu	[4] [8] [11]
6	Hisashi Mouri (Hisashi Mohri)	[13] [16]
7	Masayuki Nakae	[8]
8	Kokoro Nakagawa	[1]
9	Takeshi Nakamura	[10]
10	Naoya Nitta	[2] [6] [11]
11	Jun Noda	[13]
12	Fumiaki Ohata	[5] [7]
13	Hiroyuki Seki	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
14	Daigo Taguchi	[8]
15	Mie Takahashi	[13]
16	Jing Wang	[14]
17	Isao Yagi	[12] [15]
18	Ikuya Yasuda	[16]
19	Reishi Yokomori	[5] [7]