Yoshiaki TAKATA

A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System
Pablo LAMILLA ALVAREZ Yoshiaki TAKATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1149-1159
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Verification
Keyword: 
weighted pushdown systems, access control, model checking, 
 Summary | Full Text:PDF(886.3KB)
Comparison of the Expressive Power of Language-Based Access Control Models
Yoshiaki TAKATA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5  pp. 1033-1036
Type of Manuscript:  Special Section LETTER (Special Section on Formal Approach)
Category: 
Keyword: 
history-based access control, stack inspection, shallow history automaton, expressive power, 
 Summary | Full Text:PDF(201.6KB)
Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation
Yoshiaki TAKATA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/02/01
Vol. E92-D  No. 2  pp. 200-210
Type of Manuscript:  Special Section PAPER (Special Section on Foundations of Computer Science)
Category: 
Keyword: 
trust management, trust negotiation, negotiation strategy, computational complexity, context-free grammar, 
 Summary | Full Text:PDF(543.3KB)
A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power
Isao YAGI Yoshiaki TAKATA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2007/05/01
Vol. E90-D  No. 5  pp. 799-807
Type of Manuscript:  PAPER
Category: Automata and Formal Language Theory
Keyword: 
labeled transition system, pushdown automaton, formal model, aspect-oriented programming, AspectJ, 
 Summary | Full Text:PDF(323.9KB)
Policy Controlled System and Its Model Checking
Shigeta KUNINOBU Yoshiaki TAKATA Naoya NITTA Hiroyuki SEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/07/01
Vol. E88-D  No. 7  pp. 1685-1696
Type of Manuscript:  PAPER
Category: Application Information Security
Keyword: 
policy control, policy controlled system, verification, model checking, pushdown system, 
 Summary | Full Text:PDF(1.3MB)