IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 1 of 1  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, KBSE 2006-10-26
14:05
Ehime Ehime University Security Analysis of Information Flow for An Object-Oriented Language with Exception Handling
Sho Kurokawa, Hiroaki Kuwabara (Nagoya Univ), Shinichiro Yamamoto (Aichi Prefectural Univ), Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ)
In this paper, we propose a type system for verifying that secret data don't leak from an object-oriented program with e... [more] SS2006-42 KBSE2006-18
pp.13-18
 Results 1 - 1 of 1  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan