Secure Programming Languages Based on Mobile Code

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

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