Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring

基于静态分析和执行监控的软件安全动态组合和安全执行

• 批准号: 17500017
• 负责人: WATANABE Takuo
• 金额: $ 2.05万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2005
• 资助国家: 日本
• 起止时间: 2005 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-17500017/
• 关键词: formal specification; design by contract; aspect orientation; model-based development; execution monitoring; covert channel; information flow; state transition description; オントロジー

Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interface specification language Moxa, an extension of JML. Moxa provides a new modularization mechanism called assertion aspect that can capture the crosscutting properties among assertions. In this resarch, we briefly explain the notion of assertion aspects and the design of Moxa, and then we show an example specification. By comparing the specification to its JML counterpart, we show that the use of assertion aspects clarifies the large, complex specification and greatly simplifies each assertion in the specification.

行为接口规范语言，如Java建模语言（JML），可用于指定程序模块的行为。我们已经开发了一个行为接口规范语言艾草，JML的扩展。艾草提供了一种新的模块化机制，称为断言方面，可以捕获断言之间的横切属性。在本研究中，我们简要地解释了断言方面的概念和艾草的设计，然后我们展示了一个示例规范。通过比较规范的JML对应，我们表明，使用断言方面澄清了大型，复杂的规范，大大简化了规范中的每个断言。

项目成果

Moxa : An Aspect-Oriented Behavioral Interface Specification Language

Moxa：一种面向方面的行为接口规范语言

• 发表时间: 2005
• 期刊: IPSJ Transactions on Programming(in Japanese) Vol.46, No.PRO46(in press)
• 作者: Kiyoshi Yamada;Takuo Watanabe
• 通讯作者: Takuo Watanabe

An Aspect-Oriented Approach to Modular Behavioral Specifications

模块化行为规范的面向方面的方法

• 发表时间: 2006
• 期刊: Electronic Notes in Theoretical Computer Science 163・1
• 作者: Kiyoshi Yamada;Takuo Watanabe
• 通讯作者: Takuo Watanabe

契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa

Moxa，一种面向方面的行为接口描述语言，支持契约驱动设计

• 发表时间: 2005
• 期刊: 情報処理学会論文誌(プログラミング) 46・PRO46(印刷中)
• 作者: 池田健太;松浦佐江子;山田聖
• 通讯作者: 山田聖

Towards Reusable Heterogeneous Data- Centric Disentangled Parts

迈向可重用的异构数据中心解缠部件

• 发表时间: 2005
• 期刊: 2nd ECOOP 2005 Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE '05)
• 作者: Michael Reinsch;Takuo Watanabe
• 通讯作者: Takuo Watanabe

契約における設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa

Moxa，一种支持契约设计的面向方面的行为接口描述语言

• 发表时间: 2005
• 期刊: 情報処理学会論文誌(プログラミング) 46・SIG11
• 作者: Michael Reinsch;Takuo Watanabe;Naoyuki Nagatou;Michael Reinsch;山田聖
• 通讯作者: 山田聖