Provably Secure Software Technology and Its Applications with the Special Focus on Smart Card

Study period：2005 - 2008
Organization (1)：
Principal investigator： ( , 大学院文学研究科, 教授 )

Research program：＞＞＞
Parent Research Project：コンピューターサイエンスを含む情報通信技術
Organization with control over the research：

Japan Science and Technology Agency

Reports ：

Return to Previous Page