基于操作语义的隐通道分析理论的研究
基本信息
批准号：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.1051/jnwpu/20213920292
发表时间：2021
2
基于改进LinkNet的寒旱区遥感图像河流识别方法
基于改进LinkNet的寒旱区遥感图像河流识别方法
DOI：10.6041/j.issn.1000-1298.2022.07.022
发表时间：2022
3
带有滑动摩擦摆支座的500 kV变压器地震响应
带有滑动摩擦摆支座的500 kV变压器地震响应
DOI：10.13336/j.1003-6520.hve.20200528028
发表时间：2021
4
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
5
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
鞠时光的其他基金
批准号：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
项目类别：面上项目