• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2003 Fiscal Year Final Research Report Summary

Secure Programming Languages Based on Mobile Code

Research Project

Project/Area Number 12133101
Research Category

Grant-in-Aid for Scientific Research on Priority Areas

Allocation TypeSingle-year Grants
Review Section Science and Engineering
Research InstitutionThe University of Tokyo

Principal Investigator

YONEZAWA Akinori  The University of Tokyo, Graduate School of Information Science and Technology, Professor, 大学院・情報理工学系研究科, 教授 (00133116)

Co-Investigator(Kenkyū-buntansha) ANZAI Yuichiro  Keio University, Faculty of Science and Technology, Professor, 理工学部, 教授 (40051875)
KATAYAMA Takuya  Japan Advanced Institute of Science and Technology, School of Information Science, Professor, 情報科学研究科, 教授 (70016468)
ITO Takayasu  Ishinomaki Senshu University, Faculty of Science and Technology, Professor, 理工学部, 教授 (80124551)
MIZOGUCHI Fumio  Tokyo University of Science, Faculty of Science and Technology, Professor, 理工学部, 教授 (50084463)
YONEZAKI Naoki  Tokyo Institute of Technology, Graduate School of Information Science and Engineering, Professor, 大学院・情報理工学研究科, 教授 (00126286)
Project Period (FY) 2000 – 2003
KeywordsSoftware security / Program / protocol verification / Safe programming languages / Safe operating systems / viruses / impersonalization / Safe mail systems / Cyber security
Research Abstract

This report summarizes the activities of in the whole period of the steering committee of the priority research area The committee organized the nine planned research groups into three categories and directed each to investigate one of the three research approaches : (1)theory and verification, (2)languages and description systems, and (3)operating systems and implementation infrastructures, for protecting software systems from viruses and various malicious attacks. The committee intended that the research and development results of the three approaches would constitute three-layered protect ion strategies against attacks. Our expectation on the research and developments was right. A good number of high quality individual research and developments were obtained : pretty many research papers have been internationally published, a number of newly constructed software packages have become downloadable, many patents are granted. Furthermore, among them, many research results which have soc … More ial impacts/influence were reported by social medias such as general news papers and technology community papers. In parallel with the individual research, the steering committee appointed some members of the planned research group to construct some software very useful, yet very safe, which has the proposed three-layer protection structures. After some number of discussion meetings, we decided to construct a highly innovative and safe, yet easily usable mail system. The mail system is now called "AnZen Mail" and its basic designed was completed in September 2001 The β-version of the mail system was released in December, 2003.
During the 3.5 year period of our priority research, we have held 6 international symposia and workshops. Based on the papers presented in the symposia and workshops, we edited two books on software security and they consist of collections of internationally refereed papers. These two books are published from the prestigious German Publisher. Springer Verlag in 2003 and 2004. The first book was selected as one of Springer' s Hot Topics. Less

  • Research Products

    (18 results)

All Other

All Publications (18 results)

  • [Publications] 柴山悦哉, 米澤明憲: "社会基盤としての安全なソフトウェア"科学. 71巻12月号. 1515-1517 (2001)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Etsuya Shibayama, Akinori Yonezawa: "Secure Software Infrastructure in the Internet Age"New Generation Computing. vol.21 No.2. 87-106 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] E.Shibayama, S.Hagihara, N.Kobayashi, S.Nishizaki, K Taura.T.Watanabe: "A Secure and Certified E-Mail System"Lecture Notes in Computer Science, (Hot Topics : Software Security-Theories and Systems). 2609. 201-216 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 米澤明憲: "安全な情報社会基盤を構築するために"科学. 2月号. 174-177 (2004)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 柴山悦哉: "社会基盤としての安全なメールシステム"科学. 2月号. 178-184 (2004)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 萩谷昌己: "情報セキュリティにおける理論研究の役割"科学. 2月号. 185-190 (2004)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Okada, Pierce, Scedrov, Tokuda, Yonezawa (Editors): "Software Security-Theories and Systems, Lecture Notes in Computer Science : Hot Topics"Springer-Verlag (Germany). 471 (2003)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Futatsugi, N.Yonezaki, F.Mizoguchi (Editors): "Software Security II"Springer-Verlag (Germany)(印刷中). (2004)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 米澤, 溝口, 米崎, 徳田等 (編集): "「サイバーセキュリティ」シリーズ(全6巻)"共立出版. (2004)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Etsuya Shibayama, Akinori Yonezawa: "Secure Software for Social Infrastructure"Kagaku (Science), Iwanami-Shoten Publsher, December. 1515-1517 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Etsuya Shibayama, Akinori Yonezawa: "Secure Software Infrastructure in the Internet Age."New Generation Computing. vol.21 No.2. 87-106 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shinya Nishizaki Kenjiro Taura, Takuo Watanabe: "A Secure and Certified E-Mail System"Lecture Notes in Computer Science (Hot Topics : Software security-Theories and Systems). vol.2609. 201-216 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Akinori Yonezawa: "Constructing Safe Software Infrastructures."Kagaku (Science), Iwanami-Shoten Publsher February. 174-177 (2004)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Etsuya Shibayama: "A Secure Mail System as Social Infrastructure."Kagaku (Science), Iwanami-Shoten Publsher February. 178-184 (2004)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Masami Hagiya: "A role of theoretical studies in information security"Kagaku (Science), Iwanami-Shoten Publsher February. 185-190 (2004)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Okasa, Pierce, Scedrov, Tokuda, Yonezawa: "Software Security-Theories and Systems, Lecture Notes in Computer Science : Hot Topics"Springer-Verlag. 471 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Futatsugi, N.Yonezaki, F.Mizoguchi: "Software Security II."Springer-Verlag. 471 (2003)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] A.Yonezawa, F.Mizoguchi, H.Tokuda, N.Yonezawa: "Cyber Security"Kyoritsu-Shuppan Publisher. (2004)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2005-04-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi