IEICE SEARCH SYSTEM

Yasunori ISHIHARA

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 (608.8KB)

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 (56.7KB)

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 (810.5KB)

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 (413.8KB)

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 (341.5KB)

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 (485.5KB)

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 (804.3KB)

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/20 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 (303KB)

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/20 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 (810KB)

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/20 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 (351.5KB)

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/20 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 (932.3KB)

Testing Type Consistency of Method Schemas Hiroyuki SEKI Yasunori ISHIHARA Hiroki DODO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1998/03/20 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 (821.6KB)

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/20 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 (779.9KB)

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/20 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 (953.1KB)