Kazuhiro Ogata

Kazuhiro Ogata

Japan Advanced Institute of Science & Technology - Matsue / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 396248
島根大学
person_outline Kazuhiro Ogata's MOST POPULAR ARTICLES
1-) Proof scores in the OTS/CafeOBJ methodK Ogata, K FutatsugiInternational Conference on Formal Methods for Open Object-Based Distributed …, 20031472003
2-) Some tips on writing proof scores in the OTS/CafeOBJ methodK Ogata, K FutatsugiAlgebra, Meaning, and Computation, 596-615, 2006772006
3-) CafeOBJ: Logical foundations and methodologiesR Diaconescu, K Futatsugi, K OgataComputing and Informatics 22 (3-4), 257-283, 2003562003
4-) Equational approach to formal analysis of TLSK Ogata, K Futatsugi25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005542005
5-) Formal Analysis of the iKP Electronic Payment ProtocolsK Ogata, K FutatsugiInternational Symposium on Software Security, 441-460, 2002492002