课题基金 / 基金详情

Secure Construction Methods for Extensible and Adaptable Software

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 enforcementruntime checkingmobile codedynamic adaptationsoftware compositionbyte-code modificationobject-oriented languagemetalevel architecutureセキュリティセキュリティポリシー自己反映計算JML形式仕様アスペクト契約による設計Java安全なソフトウェア

项目摘要

项目成果

WATANABE Takuo的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(86)
专著(0)
科研奖励(0)
会议论文
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：安全且经过认证的电子邮件系统”计算机科学讲义（软件安全：理论与系统）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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 软件工程。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
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：安全且经过认证的电子邮件系统”软件安全：理论和系统。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
N.Amano, T.Watanabe: "An Approach for Constructing Component-based Software Systems with Dynamic Adaptability using LEAD++"Intl.Symp.on Principles of Software Evolution. 118-127 (2000)
N.Amano、T.Watanabe：“使用 LEAD 构建具有动态适应性的基于组件的软件系统的方法”Intl.Symp.on 软件演化原理。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 38 条
    Specification Methods for Runtime Verification of Reflective Software
    • 批准号：
      24500033
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.0万
    • 财政年份：
      2012
    • 负责人：
      WATANABE Takuo
    • 依托单位：
      Tokyo Institute of Technology
    A novel signal reception mechanism by oligomerization of RAGE and gamma-secretase
    • 批准号：
      21590304
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2009
    • 负责人：
      WATANABE Takuo
    • 依托单位：
      Kanazawa University
    Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring
    • 批准号：
      17500017
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.05万
    • 财政年份：
      2005
    • 负责人：
      WATANABE Takuo
    • 依托单位：
      Tokyo Institute of Technology
    Research on Declarative Description and Consistency Checking of Policies for Adaptive Software
    海外基金