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

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)
稲垣 康善  名古屋大学, 大学院・工学系研究科, 教授 (10023079)
田中 英彦  東京大学, 大学院・工学系研究科, 教授 (60011102)
Project Period (FY) 2000 – 2003
Project Status Completed (Fiscal Year 2003)
Budget Amount *help
¥73,000,000 (Direct Cost: ¥73,000,000)
Fiscal Year 2003: ¥31,100,000 (Direct Cost: ¥31,100,000)
Fiscal Year 2002: ¥18,300,000 (Direct Cost: ¥18,300,000)
Fiscal Year 2001: ¥23,600,000 (Direct Cost: ¥23,600,000)
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

Report

(5 results)
  • 2003 Annual Research Report   Final Research Report Summary
  • 2002 Annual Research Report
  • 2001 Annual Research Report
  • 2000 Annual Research Report
  • Research Products

    (25 results)

All Other

All Publications (25 results)

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

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

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

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] K.Futatsugi, N.Yonezaki, F.Mizoguchi (Editors): "Software Security II"Springer-Verlag (Germany)(印刷中). (2004)

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

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

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      2003 Final Research Report Summary
  • [Publications] Akinori Yonezawa: "Constructing Safe Software Infrastructures."Kagaku (Science), Iwanami-Shoten Publsher February. 174-177 (2004)

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

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

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

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

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

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

    • Related Report
      2003 Annual Research Report
  • [Publications] 柴山 悦哉: "社会基盤としての安全なメールシステム"科学. 2月号. 178-184 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 萩谷 昌己: "情報セキュリティにおける理論研究の役割"科学. 2月号. 185-190 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] K.Futatsugi, N.Yonezaki, F.Mizoguchi (Editors): "Software Security II"Springer-Verlag, Germany. (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] Okada, Pierce, Scedrov, Tokuda, Yonezawa (Editors): "Software Security-Theories and Systems, Lecture Notes in Computer Science : Hot Topics"Springer-Verlag, Germany. 471 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] セキュアシステム構築グループ: "セキュアメールシステムの構築方式(中間報告)"99 (2001)

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

    • Related Report
      2001 Annual Research Report

URL: 

Published: 2001-04-01   Modified: 2018-03-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi