Japanese Edition

List of Publications

Journal Papers

  1. K. Hashimoto, H. Kawai, Y. Ishihara and T. Fujiwara, ``Decidability of the Security against Inference Attacks using a Functional Dependency on XML Databases,'' IEICE Transactions on Information and Systems, Vol. E95-D, No. 5 (2012-05) (to appear).
  2. K. Hashimoto, K. Sakano, F. Takasuka, Y. Ishihara and T. Fujiwara, ``Verification of the Security against Inference Attacks on XML Databases,'' IEICE Transactions on Information and Systems, Vol. E92-D, No. 5, pp. 1022-1032 (2009-05).
  3. A. Yamaguchi, S. Shimizu, Y. Ishihara and T. Fujiwara, ``Bag-based Data Models for Incomplete Information and Their Closure Properties,'' Journal of Intelligent Information Systems, Vol. 30, No. 2, pp. 115-135 (2008-04). [PDF]
  4. Y. Ishihara, T. Morita, H. Seki and M. Ito, ``An Equational Logic Based Approach to the Security Problem against Inference Attacks on Object-Oriented Databases,'' Journal of Computer and System Sciences, Vol. 73, No. 5, pp. 788-817 (2007-08). [PDF]
  5. Y. Ishihara, S. Ako and T Fujiwara, ``Security against Inference Attacks on Negative Information in Object-Oriented Databases,'' IEICE Transactions on Information and Systems, Vol. E88-D, No. 12, pp. 2767-2776 (2005-12).
  6. Y. Ishihara, S. Ishii, H. Seki and M. Ito, ``Temporal Reasoning about Two Concurrent Sequences of Events,'' SIAM Journal on Computing, Vol. 34, No. 2, pp. 498-513 (2005-02). [PDF]
  7. Y. Ishihara, K. Mori and T. Fujiwara, ``Sufficient Conditions for Update Operations on Object-Oriented Databases to Preserve the Security against Inference Attacks,'' IEICE Transactions on Information and Systems, Vol. E86-D, No. 10, pp. 2187-2197 (2003-10).
  8. Y. Murata, Y. Ishihara and M. Ito, ``An Approximation Algorithm for the Task-Coalition Assignment Problem,'' IEICE Transactions on Information and Systems, Vol. E85-D, No. 4, pp. 685-693 (2002-04).
  9. Y. Ishihara, S. Shimizu, H. Seki and M. Ito, ``Refinements of Complexity Results on Type Consistency for Object-Oriented Databases,'' Journal of Computer and System Sciences, Vol. 62, No. 4, pp. 537-564 (2001-06). [PDF]
  10. S. Shimizu, Y. Ishihara, J. Yokouchi and M. Ito, ``Complexity of the Type-Consistency Problem for Acyclic Object-Oriented Database Schemas,'' IEICE Transactions on Information and Systems, Vol. E84-D, No. 5, pp. 623-634 (2001-05).
  11. Y.D. Kwon, Y. Ishihara, S. Shimizu and M. Ito, ``Computational Complexity of Finding Highly Co-occurrent Itemsets in Market Basket Databases,'' IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E83-A, No. 12, pp. 2723-2735 (2000-12).
  12. Y. Ishihara, K. Ninomiya, H. Seki, D. Takahara, Y. Yamada and S. Omoto, ``Verification of a Microcomputer Program Specification Embedded in a Reactive System,'' IEICE Transactions on Information and Systems, Vol. E83-D, No. 5, pp. 1082-1091 (2000-05).
  13. T. Morita, Y. Ishihara, H. Seki and M. Ito, ``A Formal Approach to Detecting Security Flaws in Object-Oriented Databases,'' IEICE Transactions on Information and Systems, Vol. E82-D, No. 1, pp. 89-98 (1999-01).
  14. T. Morita, Y. Ishihara, H. Seki and M. Ito, ``An Authorization Model for Object-Oriented Databases and Its Efficient Access Control,'' IEICE Transactions on Information and Systems, Vol. E81-D, No. 6, pp. 521-531 (1998-06).
  15. H. Seki, Y. Ishihara and H. Dodo, ``Testing Type Consistency of Method Schemas,'' IEICE Transactions on Information and Systems, Vol. E81-D, No. 3, pp. 278-287 (1998-03).
  16. Y. Ishihara, A. Ohsaki, H. Seki and T. Kasami, ``Assignment of Data Types to Words in a Natural Language Specification,'' IEICE Transactions on Information and Systems, Vol. E79-D, No. 6, pp. 820-828 (1996-06).
  17. Y. Ishihara, H. Seki and T. Kasami, ``Implementation of Natural Language Specifications of Communication Protocols by Executable Specifications,'' Transactions of Information Processing Society of Japan, Vol. 36, No. 5, pp. 1114-1125 (1995-05). [PDF]
  18. Y. Ishihara, H. Seki, T. Kasami, J. Shimabukuro and K. Okawa, ``A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies,'' IEICE Transactions on Information and Systems, Vol. E76-D, No. 12, pp. 1479-1489 (1993-12).

Conference Papers (Reviewed)

  1. K. Hashimoto, Y. Kusunoki, Y. Ishihara and T. Fujiwara, ``Validity of Positive XPath Queries with Wildcard in the Presence of DTDs,'' The 13th International Symposium on Database Programming Languages, http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-hashimoto.pdf (2011-08).
  2. H. Kato, S. Hidaka, Z. Hu, K. Nakano and Y. Ishihara, ``Context-Preserving XQuery Fusion,'' Proceedings of the 8th Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science 6461, pp. 255-270 (2010-11).
  3. Y. Ishihara, S. Shimizu and T. Fujiwara, ``Extending the Tractability Results on XPath Satisfiability with Sibling Axes,'' Proceedings of the 7th International XML Database Symposium, Lecture Notes in Computer Science 6309, pp. 33-47 (2010-09).
  4. Y. Ishihara, T. Morimoto, S. Shimizu, K. Hashimoto and T. Fujiwara, ``A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes,'' Proceedings of the 12th International Symposium on Database Programming Languages, Lecture Notes in Computer Science 5708, pp. 68-83 (2009-08).
  5. H. Kato, S. Hidaka, Z. Hu, Y. Ishihara and K. Nakano, ``Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store,'' Programming Language Techniques for XML, An ACM SIGPLAN Workshop co-located with POPL 2009, http://db.ucsd.edu/planx2009/camera-ready/unpaginated/16.pdf (2009-01).
  6. K. Hashimoto, F. Takasuka, K. Sakano, Y. Ishihara and T. Fujiwara, ``Verification of the Security against Inference Attacks on XML Databases,'' Proceedings of the 10th Asia Pacific Web Conference, Lecture Notes in Computer Science 4976, pp. 359-370 (2008-04).
  7. K. Hashimoto, Y. Ishihara and T. Fujiwara, ``Schema Update Operations Preserving the Expressive Power in XML Databases,'' Proceedings of the International Special Workshop on Databases for Next Generation Researchers, pp. 38-41 (2005-04).
  8. Y. Ishihara, Y. Shimakawa and T. Fujiwara, ``Type Inferability and Decidability of the Security Problem against Inference Attacks on Object-Oriented Databases,'' Proceedings of the 6th International Conference on Information and Communications Security, Lecture Notes in Computer Science 3269, pp. 145-157 (2004-10).
  9. Y. Ishihara, S. Ako and T. Fujiwara, ``Security against Inference Attacks on Negative Information in Object-Oriented Databases,'' Proceedings of the Fourth International Conference on Information and Communications Security, Lecture Notes in Computer Science 2513, pp. 49-60 (2002-12).
  10. S. Shimizu, Y. Ishihara, T. Takarabe and M. Ito, ``A Probabilistic Database Model with Representability of Dependency among Tuples,'' Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, Volume VIII, pp. 221-225 (2000-07). [PDF]
  11. Y. Ishihara, T. Morita and M. Ito, ``The Security Problem against Inference Attacks on Object-Oriented Databases,'' Proceedings of the 13th IFIP Working Group 11.3 Conference on Database Security, pp. 245-258 (1999-07). [PDF]
  12. Y. Ishihara, H. Seki and M. Ito, ``Type-Consistency Problems for Queries in Object-Oriented Databases,'' Proceedings of the 6th International Conference on Database Theory, Lecture Notes in Computer Science 1186, pp. 364-378 (1997-01). [PDF]
  13. H. Seki, Y. Ishihara and M. Ito, ``Authorization Analysis of Queries in Object-Oriented Databases,'' Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science 1013, pp. 521-538 (1995-12). [PDF]
  14. Y. Ishihara, H. Seki and T. Kasami, ``A Translation Method from Natural Language Specifications into Formal Specifications Using Contextual Dependencies,'' Proceedings of the IEEE International Symposium on Requirements Engineering, pp. 232-239 (1993-01). [PDF]

Workshops

  1. Y. Ishihara, S. Shimizu, K. Hashimoto and T. Fujiwara, ``Combining the Tractability of Duplicate-Free DTDs and Disjunction-Capsuled DTDs for XPath Satisfiability with Sibling Axes,'' IEICE Technical Report, SS2011-76, Vol. 111, No. 481, pp. 115-120 (2012-03).
  2. K. Hashimoto, Y. Ishihara and T. Fujiwara, ``The Validity Problem of Positive XPath Queries in the Presence of DTDs,'' IEICE Technical Report, SS2010-47, Vol. 110, No. 336, pp. 49-54 (2010-12).
  3. K. Hashimoto, Y. Ishihara and T. Fujiwara, ``XML Schema Evolution Preserving Information Based on User-Specified Relationship,'' IPSJ SIG Notes, 2008-MPS-72(10), pp. 37-40 (2008-12).
  4. A. Yamaguchi, S. Shimizu, Y. Ishihara and T. Fujiwara, ``A Bag-based Data Model with Global Conditions for Incomplete Information,'' Proceedings of the 16th Data Engineering Workshop, 1A-o5 (2005-02).
  5. K. Hashimoto, Y. Ishihara and T. Fujiwara, ``Schema Update Operations Preserving the Expressive Power in XML Databases,'' IEICE Technical Report, DE2004-118, pp. 25-30 (2004-10).
  6. A. Yamaguchi, Y. Ishihara and T. Fujiwara, ``Closure Properties of a Bag-based Data Model for Incomplete Information,'' Proceedings of the 15th Data Engineering Workshop, http://www.ieice.org/iss/de/DEWS/proc/2004/paper/5-C/5-C-02.pdf (2004-03).
  7. Y. Ishihara and T. Fujiwara, ``A Formulation of the Security against Inference Attacks on Relational Databases,'' Computer Security Symposium 2001, pp. 25-30 (2001-10).
  8. Y.D. Kwon, S. Shimizu, Y. Ishihara and M. Ito, ``Computational Complexity of Finding Correlated Itemsets,'' IEICE Technical Report, COMP99-89, pp. 81-88 (2000-03).
  9. S. Shimizu, J. Yokouchi, Y. Ishihara and M. Ito, ``Complexity of the Type-Consistency Problem for Retrieval and Recursion-Free Acyclic Schemas,'' IEICE Technical Report, COMP99-88, pp. 73-80 (2000-03).
  10. Y. Ishihara, S. Ishii, H. Seki and M. Ito, ``Temporal Reasoning between Two Time Axes,'' IEICE Technical Report, COMP99-17, pp. 9-16 (1999-06).
  11. T. Morita, Y. Ishihara and M. Ito, ``A Formal Approach to Detecting Security Flaws in Object-Oriented Database Schemas,'' IEICE Technical Report, COMP98-46, pp. 65-72 (1998-10).
  12. T. Morita, Y. Ishihara, H. Seki and M. Ito, ``On the Detection Problem of Data Flaws in Object-Oriented Databases,'' IEICE Technical Report, COMP97-66, pp. 49-56 (1997-11).
  13. K. Sakaguchi, T. Morita, Y. Ishihara, H. Seki and M. Ito, ``A Content-Based Authorization Model for Object-Oriented Databases,'' IEICE Technical Report, DE96-80, pp. 37-42 (1997-01).
  14. Y. Ishihara, H. Seki and M. Ito, ``Type Consistency Problems for Queries in Object-Oriented Databases,'' IPSJ SIG Notes, PRO-4-9, pp. 39-44 (1995-12).
  15. H. Izuno, Y. Ishihara, H. Seki and M. Ito, ``An Application of Type-Checking to Authorization Analysis of Queries in Object-Oriented Databases,'' Proceedings of the 6th Data Engineering Workshop pp. 15-22 (1995-03).
  16. Y. Ishihara, H. Seki and T. Kasami, ``An Algebraic Definition of a LOTOS-Like Language and Its Application,'' IPSJ SIG Notes, SE-99-1, pp. 1-8 (1994-07).
Valid CSS! Valid XHTML 1.1! Yasunori ISHIHARA