-
题名基于安全进程代数的信息流模型
被引量：1
- 1
-
-
作者
尹青
周伟
郭金庚
-
机构
信息工程大学信息工程学院
-
出处
《信息工程大学学报》
2004年第3期5-9,共5页
-
基金
国家863计划信息安全技术主题"网络安全及防御技术"资助项目(863-104-06-1)
-
文摘
文章在安全进程代数理论框架内讨论信息流安全模型。基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性。
-
关键词
安全进程代数
信息流安全
无干扰
不可演绎
-
Keywords
process algebra
information flow security
no-interference,non-deducibility
-
分类号
O15
[理学—数学]
-
-
题名可信计算平台信任链安全性分析
被引量：19
- 2
-
-
作者
徐明迪
张焕国
赵恒
李峻林
严飞
-
机构
武汉数字工程研究所
武汉大学计算机学院
空天信息安全与可信计算教育部重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第7期1165-1176,共12页
-
基金
国家"八六三"高技术研究发展计划项目基金(2007AA01Z411)
国家自然科学基金(60673071)资助~~
-
文摘
可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明.
-
关键词
信任链
安全进程代数
可复合的不可演绎模型
-
Keywords
chain of trust
secure process algebra
non deducibility on composition
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
