Yoshiaki Takata

IEICE Trans. Inf. Syst., 2024

Non-cooperative rational synthesis problem for probabilistic strategies.

[BibT_eX]

[DOI]

So Koide

CoRR, 2024

Verification with Common Knowledge of Rationality for Graph Games.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., March, 2023

Pumping Lemmas for Languages Expressed by Computational Models with Registers.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., March, 2023

A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., September, 2022

Complexity results on register context-free grammars and related formalisms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Active Learning for Deterministic Bottom-Up Nominal Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Optimal run problem for weighted register automata.

[BibT_eX]

[DOI]

Reo Yoshimura

Theor. Comput. Sci., 2021

LTL Model Checking for Register Pushdown Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2021

Forward Regularity Preservation Property of Register Pushdown Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2021

Reactive Synthesis from Visibly Register Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2021, 2021

2020

Generalized Register Context-Free Grammars.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2020

2019

Complexity Results on Register Pushdown Automata.

[BibT_eX]

[DOI]

CoRR, 2019

2018

Complexity Results on Register Context-Free Grammars and Register Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2014

A Formal Verification of a Subset of Information-Based Access Control Based on Extended Weighted Pushdown System.

[BibT_eX]

[DOI]

Pablo Lamilla Álvarez

IEICE Trans. Inf. Syst., 2014

2013

An HBAC-based approximation for IBAC programs.

[BibT_eX]

[DOI]

Pablo Lamilla Álvarez

Proceedings of the 6th International Conference on Security of Information and Networks, 2013

2010

Automatic Generation of History-Based Access Control from Information Flow Specification.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Comparison of the Expressive Power of Language-Based Access Control Models.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2009

Formal Language Theoretic Approach to the Disclosure Tree Strategy in Trust Negotiation.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2009

2008

New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation.

[BibT_eX]

[DOI]

Inf. Media Technol., 2008

2007

A Static Analysis using Tree Automata for XML Access Control.

[BibT_eX]

[DOI]

Isao Yagi

Inf. Media Technol., 2007

A Labeled Transition Model A-LTS for History-Based Aspect Weaving and Its Expressive Power.

[BibT_eX]

[DOI]

Isao Yagi

IEICE Trans. Inf. Syst., 2007

Certificate Chain Discovery in Web of Trust for Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Integrating presence inference into trust management for ubiquitous systems.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006

HBAC: A Model for History-Based Access Control and Its Model Checking.

[BibT_eX]

[DOI]

Jing Wang

Proceedings of the Computer Security, 2006

2005

Policy Controlled System and Its Model Checking.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2005

2004

Accessibility Verification of WWW Documents by an Automatic Guideline Verification Tool.

[BibT_eX]

[DOI]

Takeshi Nakamura

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2003

Process Decomposition via Synchronization Events and Its Application to Counter-Process Decomposition.

[BibT_eX]

[DOI]

Susumu Kiyamura

Proceedings of the Parallel Processing and Applied Mathematics, 2003

Automatic Accessibility Guideline Validation of XML Documents Based on a Specification Language.

[BibT_eX]

Takeshi Nakamura

Proceedings of the Human-Computer Interaction: Universal Access in HCI: Inclusive Design in the Information Society, 2003

2002

An information-leak analysis system based on program slicing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

A Specification Language for Distributed Policy Control.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 4th International Conference, 2002

2001

Security verification of programs with stack inspection.

[BibT_eX]

[DOI]

Naoya Nitta

Proceedings of the 6th ACM Symposium on Access Control Models and Technologies, 2001

Formal Specification and Implemenation Using a Task Flow Diagram in Interactive System Design.

[BibT_eX]

Mizuho Ikeda

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, Third International Conference, 2001

An efficient security verification method for programs with stack inspection.

[BibT_eX]

[DOI]

Naoya Nitta

Proceedings of the CCS 2001, 2001

Analysis and Implementation Method of Program to Detect Inappropriate Information Leak.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Flexible Category Structure for Supporting WWW Retrieval.

[BibT_eX]

[DOI]

Kokoro Nakagawa