Keyword : type system

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)