IEICE Trans

Yasunori ISHIHARA

The Absolute Consistency Problem for Relational Schema Mappings with Functional Dependencies Yasunori ISHIHARA Takashi HAYATA Toru FUJIWARA
Publication: Publication Date: 2020/11/01 Vol. E103-D No. 11 pp. 2278-2288 Type of Manuscript: PAPER Category: Data Engineering, Web Information Systems Keyword: data exchange, relational schema mapping, absolute consistency, functional dependency,
	Summary \| Full Text:PDF

FOREWORD Yasunori ISHIHARA
Publication: Publication Date: 2017/08/01 Vol. E100-D No. 8 pp. 1647-1648 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers Kenji HASHIMOTO Ryuta SAWADA Yasunori ISHIHARA Hiroyuki SEKI Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2016/03/01 Vol. E99-D No. 3 pp. 575-587 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science---Developments of the Theory of Algorithms and Computation---) Category: Keyword: determinacy, subsumption, tree transducer,
	Summary \| Full Text:PDF

A Secrecy Criterion for Outsourcing Encrypted Databases Based on Inference Analysis Yasunori ISHIHARA Yasuhiro USHIROZAKO Kengo MORI Jun FURUKAWA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2015/06/01 Vol. E98-D No. 6 pp. 1161-1165 Type of Manuscript: Special Section LETTER (Special Section on Formal Approach) Category: Database Security Keyword: encrypted database, secrecy, inference analysis, decidability,
	Summary \| Full Text:PDF

Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases Kenji HASHIMOTO Hiroto KAWAI Yasunori ISHIHARA Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-D No. 5 pp. 1365-1374 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Database Security Keyword: XML database, inference attack, security, verification, functional dependency,
	Summary \| Full Text:PDF

FOREWORD Yasunori ISHIHARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/05/01 Vol. E94-D No. 5 pp. 945-945 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF

Verification of the Security against Inference Attacks on XML Databases Kenji HASHIMOTO Kimihide SAKANO Fumikazu TAKASUKA Yasunori ISHIHARA Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-D No. 5 pp. 1022-1032 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Security Keyword: XML database, inference attack, security, verification,
	Summary \| Full Text:PDF

Security against Inference Attacks on Negative Information in Object-Oriented Databases Yasunori ISHIHARA Shuichiro AKO Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/12/01 Vol. E88-D No. 12 pp. 2767-2776 Type of Manuscript: PAPER Category: Database Keyword: object-oriented database, authorization, inference attack, negative information,
	Summary \| Full Text:PDF

Sufficient Conditions for Update Operations on Object-Oriented Databases to Preserve the Security against Inference Attacks Yasunori ISHIHARA Kengo MORI Toru FUJIWARA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/10/01 Vol. E86-D No. 10 pp. 2187-2197 Type of Manuscript: PAPER Category: Databases Keyword: object-oriented database, authorization, inference attack, security, incremental checking,
	Summary \| Full Text:PDF

An Approximation Algorithm for the Task-Coalition Assignment Problem Yoshihiro MURATA Yasunori ISHIHARA Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/04/01 Vol. E85-D No. 4 pp. 685-693 Type of Manuscript: PAPER Category: Algorithms Keyword: agent, approximation algorithm, tasks, assignment, inapproximability,
	Summary \| Full Text:PDF

Complexity of the Type-Consistency Problem for Acyclic Object-Oriented Database Schemas Shougo SHIMIZU Yasunori ISHIHARA Junji YOKOUCHI Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2001/05/01 Vol. E84-D No. 5 pp. 623-634 Type of Manuscript: PAPER Category: Databases Keyword: object-oriented database, type-consistency problem, acyclic schema, complexity,
	Summary \| Full Text:PDF

Computational Complexity of Finding Highly Co-occurrent Itemsets in Market Basket Databases Yeon-Dae KWON Yasunori ISHIHARA Shougo SHIMIZU Minoru ITO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2000/12/25 Vol. E83-A No. 12 pp. 2723-2735 Type of Manuscript: PAPER Category: General Fundamentals and Boundaries Keyword: data mining, large itemset, highly co-occurrent itemset, computational complexity,
	Summary \| Full Text:PDF

Verification of a Microcomputer Program Specification Embedded in a Reactive System Yasunori ISHIHARA Kiichiro NINOMIYA Hiroyuki SEKI Daisuke TAKAHARA Yutaka YAMADA Shigesada OMOTO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/05/25 Vol. E83-D No. 5 pp. 1082-1091 Type of Manuscript: PAPER Category: Software Engineering Keyword: compositional verification, model checking, reactive system, reachability graph,
	Summary \| Full Text:PDF

A Formal Approach to Detecting Security Flaws in Object-Oriented Databases Toshiyuki MORITA Yasunori ISHIHARA Hiroyuki SEKI Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1999/01/25 Vol. E82-D No. 1 pp. 89-98 Type of Manuscript: Special Section PAPER (Special Issue on New Generation Database Technologies) Category: Theoretical Aspects Keyword: object-oriented database, authorization, security flaw, term rewriting system,
	Summary \| Full Text:PDF

An Authorization Model for Object-Oriented Databases and Its Efficient Access Control Toshiyuki MORITA Yasunori ISHIHARA Hiroyuki SEKI Minoru ITO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/06/25 Vol. E81-D No. 6 pp. 521-531 Type of Manuscript: PAPER Category: Databases Keyword: database management system, access control, authorization model, inference rule,
	Summary \| Full Text:PDF

Testing Type Consistency of Method Schemas Hiroyuki SEKI Yasunori ISHIHARA Hiroki DODO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/03/25 Vol. E81-D No. 3 pp. 278-287 Type of Manuscript: PAPER Category: Software Theory Keyword: object-oriented programming, method schema, base method, user method, consistency,
	Summary \| Full Text:PDF

Assignment of Data Types to Words in a Natural Language Specification Yasunori ISHIHARA Atsushi OHSAKI Hiroyuki SEKI Tadao KASAMI
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1996/06/25 Vol. E79-D No. 6 pp. 820-828 Type of Manuscript: PAPER Category: Automata,Languages and Theory of Computing Keyword: natural language specification, algebraic specification, data type,
	Summary \| Full Text:PDF

A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies Yasunori ISHIHARA Hiroyuki SEKI Tadao KASAMI Jun SHIMABUKURO Kazuhiko OKAWA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1993/12/25 Vol. E76-D No. 12 pp. 1479-1489 Type of Manuscript: PAPER Category: Automaton, Language and Theory of Computing Keyword: natural language specification, algebraic specification, communication protocol, translation,
	Summary \| Full Text:PDF