Secure Construction Methods for Extensible and Adaptable Software

可扩展和适应性软件的安全构建方法

• 批准号: 12133207
• 负责人: WATANABE Takuo
• 金额: $ 15.23万
• 依托单位: National Institute of Informatics (2002-2003)Tokyo Institute of Technology (2000-2001)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2003
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12133207/
• 关键词: policy enforcement; runtime checking; mobile code; dynamic adaptation; software composition; byte-code modification; object-oriented language; metalevel architecuture; セキュリティ; セキュリティポリシー; 自己反映計算; JML; 形式仕様; アスペクト; 契約による設計; Java; 安全なソフトウェア

We have investigated novel methods for constructing safe and secure software that exhibit extensibility and adaptability. Our research results are divided in the following three categories corresponding to three typical security/safety flaws of extensible/adaptable software. (1)We developed an efficient secure execution method for untrusted programs that is based on code modification and runtime policy examination. (2)We augmented our former works on the dynamically adaptable objects and built a class library that provides safe dynamic adaptation. (3)We also investigated secure composition methods for independently developed software modules and gained some successful results. Some of our research results and related outcomes are actually applied to the collaborative construction of AnZenMail.

我们研究了用于构建具有可扩展性和适应性的安全软件的新方法。我们的研究结果分为以下三类，与可扩展/适应性软件的三个典型安全/安全缺陷相对应。 （1）我们为基于代码修改和运行时策略检查的不信任程序开发了有效的安全执行方法。 （2）我们增强了以前的作品在动态适应性的对象上，并建立了一个提供安全动态适应的类库。 （3）我们还研究了独立开发的软件模块的安全组成方法，并获得了一些成功的结果。我们的一些研究结果和相关结果实际上应用于Anzenmail的协作结构。

项目成果

T.Watanabe, K.Yamada, N.Nagatou: "Specifying Context-Aware Runtime Security Policies using an Algebraic Policy Specification Language"IASTED Intl.Conf.on Software Engineering. 612-617 (2004)

T.Watanabe、K.Yamada、N.Nagatou：“使用代数策略规范语言指定上下文感知运行时安全策略”IASTED Intl.Conf.on 软件工程。

E.Shibayama, S.Hagihara, N.Kobayashi, S.Nishizaki, K.Taura, T.Watanabe: "AnZenMail : A Secure and Certified E-mail System"Lecture Note in Computer Science (Software Security : Theories and Systems). 2609. 201-216 (2003)

E.Shibayama、S.Hagihara、N.Kobayashi、S.Nishizaki、K.Taura、T.Watanabe：“AnZenMail：安全且经过认证的电子邮件系统”计算机科学讲义（软件安全：理论与系统）。

E.Shibayama, S.Hagihara, N.Kobayashi, S.Nishizaki, K.Taura, T.Watanabe: "AnZenMail : A Secure and Certified E-mail System"Software Security : Theories and Systems. Vol.2609. 201-216 (2003)

E.Shibayama、S.Hagihara、N.Kobayashi、S.Nishizaki、K.Taura、T.Watanabe：“AnZenMail：安全且经过认证的电子邮件系统”软件安全：理论和系统。

Noriki Amano(他1名): "LampJ : A Library of Adaptable Modular Programming for Java"IASTED International Conference on Software Engineering and Applications. 213-218 (2003)

Noriki Amano（和其他 1 位）：“LampJ：Java 的自适应模块化编程库”IASTED 国际软件工程和应用会议 213-218 (2003)。

永藤直行, 渡部卓雄: "移動コードのための機密性強制"日本ソフトウェア科学会ディペンダブルシステムワークショップ. 121-130 (2004)

Naoyuki Nagato、Takuo Watanabe：“加强移动代码的机密性”日本软件科学学会可靠系统研讨会 121-130 (2004)。