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 systemsaccess controlmodel checking
 Summary | Full Text:PDF

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 controlstack inspectionshallow history automatonexpressive power
 Summary | Full Text:PDF

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 managementtrust negotiationnegotiation strategycomputational complexitycontext-free grammar
 Summary | Full Text:PDF

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 systempushdown automatonformal modelaspect-oriented programmingAspectJ
 Summary | Full Text:PDF

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 controlpolicy controlled systemverificationmodel checkingpushdown system
 Summary | Full Text:PDF