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)，可用于指定程序模块的行为。我们开发了行为接口规范语言 Moxa，它是 JML 的扩展。 Moxa 提供了一种新的模块化机制，称为断言方面，可以捕获断言之间的横切属性。在本研究中，我们简要解释了断言方面的概念和 Moxa 的设计，然后展示了一个示例规范。通过将该规范与其对应的 JML 进行比较，我们表明断言方面的使用澄清了庞大而复杂的规范，并极大地简化了规范中的每个断言。

项目成果

Run Tune Detection of Covert Channels

运行隐蔽通道的调谐检测

• 发表时间: 2006
• 期刊: International Symposium on Frontiers in Availability, Reilability and Security (FARES)
• 作者: Naoyuki Nagatou;Takuo Watanabe
• 通讯作者: Takuo Watanabe

Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて

使用 Moxa 进行面向方面的规范描述：从协议转向模块化 DbC 描述

• 发表时间: 2006
• 期刊: 情報処理学会研究報告(ソフトウェアエ学研究会) 2006-SE-153
• 作者: 橋本康範;渡部卓雄;山田聖
• 通讯作者: 山田聖

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

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

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

An Aspect-Oriented Approach to Modular Behavioral Specifications

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

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

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