课题基金 / 基金详情

A unified theory and application of information hiding by program verification

A unified theory and application of information hiding by program verification
程序验证信息隐藏的统一理论与应用
批准号：
18680003
负责人：
SUMII Eijiro
金额：
$10.15万
依托单位：
Tohoku University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (A)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2008
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18680003/
关键词：
プログラム言語情報セキュリティプログラム等価性双模倣ラムダ計算パイ計算高階計算型理論プログラミング言語計算モデルλ計算π計算操作的意味論文脈等価性論理関係環境双模倣多相λ計算高階π計算存在型・再帰型システムポインタ演算C言語Fail-Safe C to JavaObjective Caml

项目摘要

项目成果

SUMII Eijiro的其他基金

相似基金

相关文献

中文摘要
翻译
コンピュータプログラムやネットワークにおける暗号化や抽象化など、さまざまな形の情報保護の統一的基礎理論を研究した。特に、ループないし再帰関数、再帰型(リストや木など)、多相型ないしジェネリックス、抽象データ型ないしオブジェクトなど、幅広い現実的機能を有する計算体系における情報保護の数理論理学的証明手法を世界で初めて確立し、Journal of the ACMやIEEE LICSなど最高水準の国際論文誌・国際学会に採録・発表された。
英文摘要
コンピュータプログラムやネットワークにおける暗号化や抽象化など、さまざまな形の情報保護の統一的基礎理論を研究した。特に、ループないし再帰関数、再帰型(リストや木など)、多相型ないしジェネリックス、抽象データ型ないしオブジェクトなど、幅広い現実的機能を有する計算体系における情報保護の数理論理学的証明手法を世界で初めて確立し、Journal of the ACMやIEEE LICSなど最高水準の国際論文誌・国際学会に採録・発表された。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Javaへの変換による安全なC言語の実装
通过转换为 Java 实现安全的 C 语言实现
DOI： --
发表时间： 2007
期刊： 第9回プログラミングおよびプログラミング言語ワークショップ論文集
影响因子： --
作者： [上嶋祐紀, 住井英二郎]
通讯作者： 住井英二郎
A Theory of Non-Monotone Memory (Or: Contexts for free)
非单调记忆理论（或者：免费上下文）
DOI： --
发表时间： 2009
期刊： Proceedings of 18th European Symposium on Programming, (Lecture Notes in Computer Science, Springer-Verlag, Germany) vol. 550
影响因子： --
作者： [Atsushi Mitsuda, Tetsu Iwata, Tetsu Iwata, Eijiro Sumii]
通讯作者： Eijiro Sumii
spi計算における暗号プロトコルの形式的検証
spi计算中密码协议的形式化验证
DOI： --
发表时间： 2007
期刊： 応用数理, (岩波書店) 17巻4号
影响因子： --
作者： [上嶋 祐紀, 住井 英二郎, 住井 英二郎]
通讯作者： 住井 英二郎
spi計算における暗号プロトコルの形式的検証について
spi计算中密码协议的形式化验证
DOI： --
发表时间： 2006
期刊：
影响因子： --
作者： [藤 尚稔, 住井 英二郎, 住井 英二郎]
通讯作者： 住井 英二郎
共 15 条
    Studies for Non-Monotone Recursion
    • 批准号：
      25540001
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.33万
    • 财政年份：
      2013
    • 负责人：
      SUMII Eijiro
    • 依托单位：
      Tohoku University
    Formal Verification of Higher-Order Open Systems
    • 批准号：
      22300005
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $9.4万
    • 财政年份：
      2010
    • 负责人：
      SUMII Eijiro
    • 依托单位：
      Tohoku University
    海外基金