Yasunori ISHIHARA


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

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: 
determinacysubsumptiontree transducer
 Summary | Full Text:PDF(558.8KB)

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 databasesecrecyinference analysisdecidability
 Summary | Full Text:PDF(259.4KB)

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 databaseinference attacksecurityverificationfunctional dependency
 Summary | Full Text:PDF(607.9KB)

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.9KB)

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 databaseinference attacksecurityverification
 Summary | Full Text:PDF(814.8KB)

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 databaseauthorizationinference attacknegative information
 Summary | Full Text:PDF(411.9KB)

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 databaseauthorizationinference attacksecurityincremental checking
 Summary | Full Text:PDF(337.6KB)

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: 
agentapproximation algorithmtasksassignmentinapproximability
 Summary | Full Text:PDF(482KB)

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 databasetype-consistency problemacyclic schemacomplexity
 Summary | Full Text:PDF(800KB)

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 mininglarge itemsethighly co-occurrent itemsetcomputational complexity
 Summary | Full Text:PDF(300.4KB)

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 verificationmodel checkingreactive systemreachability graph
 Summary | Full Text:PDF(806.3KB)

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 databaseauthorizationsecurity flawterm rewriting system
 Summary | Full Text:PDF(348.1KB)

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 systemaccess controlauthorization modelinference rule
 Summary | Full Text:PDF(930.1KB)

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 programmingmethod schemabase methoduser methodconsistency
 Summary | Full Text:PDF(819.5KB)

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 specificationalgebraic specificationdata type
 Summary | Full Text:PDF(777.8KB)

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 specificationalgebraic specificationcommunication protocoltranslation
 Summary | Full Text:PDF(951.3KB)