IEICE Trans

Yoshiaki TAKATA

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking Yoshiaki TAKATA Ryoma SENDA Hiroyuki SEKI
Publication: Publication Date: 2022/09/01 Vol. E105-D No. 9 pp. 1620-1623 Type of Manuscript: LETTER Category: Fundamentals of Information Systems Keyword: model checking, register pushdown system, regular valuation,
	Summary \| Full Text:PDF(107.1KB)

LTL Model Checking for Register Pushdown Systems Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI
Publication: Publication Date: 2021/12/01 Vol. E104-D No. 12 pp. 2131-2144 Type of Manuscript: PAPER Category: Fundamentals of Information Systems Keyword: register pushdown system, LTL model checking, regularity preservation, register automaton,
	Summary \| Full Text:PDF(395.6KB)

Forward Regularity Preservation Property of Register Pushdown Systems Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI
Publication: Publication Date: 2021/03/01 Vol. E104-D No. 3 pp. 370-380 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — New Trends of Theory of Computation and Algorithm —) Category: Keyword: register pushdown system, register automaton, regularity preservation property,
	Summary \| Full Text:PDF(304.8KB)

Generalized Register Context-Free Grammars Ryoma SENDA Yoshiaki TAKATA Hiroyuki SEKI
Publication: Publication Date: 2020/03/01 Vol. E103-D No. 3 pp. 540-548 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Frontiers of Theory of Computation and Algorithm —) Category: Keyword: register context-free grammar, register type, computational complexity, data word, data language,
	Summary \| Full Text:PDF(343.5KB)

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)