Element-oriented software design for improving security and robustness conformity

面向元素的软件设计，提高安全性和稳健性合规性

• 批准号: 18300007
• 负责人: MAEKAWA Mamoru
• 金额: $ 4.28万
• 依托单位: The University of Electro-Communications
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18300007/
• 关键词: Information Systems; Secure Network; Software Development Improvement; Software Engineering; エレメント; セキュリティ; コンフォーミティ

To make a software system reliable and stable, it is essential that the system exhibit expected characteristics not only for its functionality, but for other aspects such as security and robustness. In recent years, a lot of software components are used to build a system. In addition, it is common that more dynamic components, such as mobile codes, are plugged-in to fulfill some functionality at runtime. This suggests that the assessment of characteristics of components is important at runtime as well as implementation phase. The exhaustive assessment is, however, practically difficult and possibly redundant because : (1) there are a lot of "black-box" components, (2) characteristics to observe and specifications to require may vary depending of the purpose and the context of component usage.This research has proposed the element-oriented software design for assuring security and robustness characteristics. An "element" of a component refers to the characteristics under specific execution situation within specific running context. A component is examined (1) only within the extent of the usage in the target system (2) whether its element conforms to the specification. This assessment is context-dependent, that is, component behaviors under other conditions are disregarded. To realize the assessment, a method of information flow tracking for pseudo code components is developed and evaluated.

为了使软件系统可靠且稳定，该系统不仅要表现出预期特征的功能，而且要表现出预期特征，而且对于安全性和鲁棒性等其他方面。近年来，许多软件组件用于构建系统。此外，很常见的是，更动态的组件（例如移动代码）被插入以实现运行时的某些功能。这表明，在运行时和实施阶段，对组件特征的评估很重要。但是，详尽的评估实际上是困难的，并且可能是多余的，因为：（1）有很多“黑盒”组件，（2）要观察的特征和需要的规格可能会因组件用法的目的和背景而有所不同。这项研究提出了面向元素的软件设计，以确保安全性和鲁棒性特征。组件的“元素”是指在特定运行上下文中特定执行情况下的特征。仅在目标系统中使用范围内检查组件（1）其元素是否符合规范。该评估与上下文有关，即在其他条件下的组成行为被忽略。为了实现评估，开发和评估了伪代码组件的信息流跟踪方法。

项目成果

A Memory Management system to Reflect User Behavior and Preference

反映用户行为和偏好的内存管理系统

• 发表时间: 2006
• 期刊: IEEE ISCIT2006 CD-ROM
• 作者: Hayakawa;Kazuichi;小林良岳
• 通讯作者: 小林良岳

Sharing and Searching History : Collaborative Component and data Reuse

共享和搜索历史：协作组件和数据重用

• 发表时间: 2006
• 期刊: IEEE ISCIT2006 CD-ROM
• 作者: 櫻庭敦之;成田龍太;全眞嬉;徳山豪;村本卓;中山健
• 通讯作者: 中山健

携帯電話を用いた高齢者向け外出支援システム-ここバリアの開発

开发基于手机的老年人外出辅助系统——Koko Barrier

• 发表时间: 2007
• 作者: Ludwiczuk;A.;Asakawa;Y.;葛西亮生・Jinhee Chun・Matias Korman・徳山豪;木村卓朗・福代康夫;H.Suyari;梅津 圭介
• 通讯作者: 梅津 圭介

ヘテロジニアスマルチスコアCPUの特性を考慮したOS

考虑异构多核CPU特性的操作系统

• 发表时间: 2006
• 期刊: 第5回情報科学技術フォーラム (FIT 2006) CD-ROM
• 作者: Takata Y.;Omura T.;Omura K.;Sato S.;Dao V. H.;Nguyen T. D.;Fukuyo Y.;and Kodama M;大塚健太;東賢一朗
• 通讯作者: 東賢一朗

KOKO-Barrier : a going-out assistance system for seniors using mobile phone

KOKO-Barrier：老年人手机外出辅助系统

• 发表时间: 2007
• 作者: Keisuki;Umedu;et. al.
• 通讯作者: et. al.