基于操作语义的隐通道分析理论的研究
基本信息
批准号：60573046
项目类别：面上项目
资助金额：5.00
负责人：鞠时光
学科分类：
依托单位：江苏大学
批准年份：2005
结题年份：2006
起止时间：2006-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：赵曦滨,杨国武,李星毅,蔡涛,宋香梅,赵念强,郑文怡,金华
关键词：
隐通道安全模型操作语义通道元
结项摘要
为解决我国自主研发高安全级软件产品的瓶颈问题- - 隐通道分析，本课题研究基于操作语义的隐通道分析理论和方法。研究内容包括：基于源代码，研究定义系统中各类信息传导机制的特征和形式化表示，设计出信息传导机制的抽象机；分析信息传导机制在不同语境下的操作语义；基于通道元变换系统和信息传导机制的抽象机，研究信息传导机制的安全状态及其安全状态转移的约束条件；构建抗隐通道的安全信息通道模型。.本课题创新性的提
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
5
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
鞠时光的其他基金
批准号：60173064
批准年份：2001
资助金额：4.00
项目类别：面上项目
批准号：60373069
批准年份：2003
资助金额：8.00
项目类别：面上项目
批准号：60773049
批准年份：2007
资助金额：26.00
项目类别：面上项目
相似国自然基金
1
基于情感语义表示的隐式情感分析
批准号：61702080
批准年份：2017
负责人：杨亮
学科分类：F0211
资助金额：25.00
项目类别：青年科学基金项目
2
基于信息流分析的隐通道搜索方法的研究
批准号：60773049
批准年份：2007
负责人：鞠时光
学科分类：F0206
资助金额：26.00
项目类别：面上项目
3
基于查询语义分析与推理的隐式相关反馈检索模型研究
批准号：61272324
批准年份：2012
负责人：孙乐
学科分类：F0211
资助金额：80.00
项目类别：面上项目
4
基于细粒度差异性比较的操作系统语义缺陷分析
批准号：61772303
批准年份：2017
负责人：陈渝
学科分类：F0202
资助金额：71.00
项目类别：面上项目