权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Secure Programming Languages Based on Mobile Code

基于移动代码的安全编程语言

基本信息

批准号：
12133101
负责人：
YONEZAWA Akinori
金额：
$ 46.72万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2000
资助国家：
日本
起止时间：
2000 至 2003
项目状态：
已结题

项目摘要

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

本报告总结了优先研究领域指导委员会整个期间的活动。委员会将九个计划的研究小组分为三类，并指导每个小组调查三种研究方法中的一种：(1)理论和验证，(2)语言和描述系统，(3)操作系统和实现基础设施，以保护软件系统免受病毒和各种恶意攻击。委员会打算将这三种方法的研究和发展成果构成防范攻击的三层保护战略。我们对研发的预期是正确的。获得了大量高质量的个人研究和开发成果：相当多的研究论文已经在国际上发表，一些新构建的软件包已经可以下载，许多专利被授予。此外，其中许多具有更大社会影响/影响力的研究成果是通过社交媒体报道的，如一般新闻报纸和技术社区报纸。在进行个人研究的同时，指导委员会任命了计划研究小组的一些成员来构建一些非常有用，但非常安全的软件，这些软件具有建议的三层保护结构。经过几次会议的讨论，我们决定构建一个高度创新、安全且易于使用的邮件系统。邮件系统现在被称为“AnZen mail”，它的基本设计于2001年9月完成，邮件系统的β版本于2003年12月发布。在三年半的重点研究期间，我们举办了6次国际研讨会和研讨会。根据在研讨会和研讨会上发表的论文，我们编辑了两本关于软件安全的书，它们由国际评审论文的集合组成。这两本书是由著名的德国出版社出版的。b施普林格Verlag在2003年和2004年。第一本书被选为b施普林格的热门话题之一。少