Hiroaki KUWABARA

A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling
Sho KUROKAWA  Hiroaki KUWABARA  Shinichiro YAMAMOTO  Toshiki SAKABE  Masahiko SAKAI  Keiichirou KUSAKARI  Naoki NISHIDA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2008/03/01
Vol. J91-D  No. 3  pp. 757-770
Type of Manuscript: PAPER
Category: 
Keyword: 
security checking,  information flow analysis,  type system,  exception handling, 
  Summary |  Full Text(in Japanese):PDF (447.2KB)
Congruence Properties for a Timed Extension of the π-Calculus
Hiroaki KUWABARA  Shoji YUEN  Kiyoshi AGUSA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2006/04/01
Vol. J89-D  No. 4  pp. 632-641
Type of Manuscript: Special Section PAPER (Special Issue on Formal Approaches)
Category: 
Keyword: 
π-calculus,  timed process algebra,  congruences,  real-time system, 
  Summary |  Full Text(in Japanese):PDF (260.6KB)