期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
可信计算平台信任链安全性分析
被引量：
19
1
作者
徐明迪
张焕国
+2 位作者
赵恒
李峻林
严飞
《计算机学报》
EI
CSCD
北大核心
2010年第7期1165-1176,共12页
可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文...
可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明.
展开更多
关键词
信任链
安全进程代数
可复合的不可演绎模型
在线阅读
下载PDF
职称材料
五十年来的科学哲学——从逻辑经验主义到历史主义(下)
2
作者
江天骥
《江汉论坛》
CSSCI
北大核心
1989年第5期21-26,共6页
三、历史主义的科学观逻辑经验主义者和波普尔的科学观及其对科学进步的看法都是以演绎模型为基础,而历史主义者库恩同他们的主要区别就在于依他看来,科学中理论更替的性质乃至于科学合理性本身的性质,都不具有由演绎模型的运用所提示...
三、历史主义的科学观逻辑经验主义者和波普尔的科学观及其对科学进步的看法都是以演绎模型为基础,而历史主义者库恩同他们的主要区别就在于依他看来,科学中理论更替的性质乃至于科学合理性本身的性质,都不具有由演绎模型的运用所提示的形式。逻辑经验主义者和波普尔都预先假定,对科学合理性的任何说明必须或者采取演绎模型,或者采取某些别的形式模型所提示的模式,而任何其他的途径都被排除在科学哲学的范围之外。与此相反,以库恩等人为代表的历史主义者却对这个预设本身提出怀疑。库恩从科学史的研究中感到逻辑经验主义者和波普尔的科学观和历史实际不符,不能够提供科学合理性和科学进步的说明,便首先发展出一种非形式的科学观。库恩的科学观的中心观点是:范式(paradigm)
展开更多
关键词
演绎
模型
不相容性
非形式
逻辑经验主义
爱因斯坦
全称陈述
不可
通约性
历史主义
科学观
费耶阿本德
在线阅读
下载PDF
职称材料
题名
可信计算平台信任链安全性分析
被引量：
19
1
作者
徐明迪
张焕国
赵恒
李峻林
严飞
机构
武汉数字工程研究所
武汉大学计算机学院
空天信息安全与可信计算教育部重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2010年第7期1165-1176,共12页
基金
国家"八六三"高技术研究发展计划项目基金(2007AA01Z411)
国家自然科学基金(60673071)资助~~
文摘
可信计算规范是指导可信计算产品研制的依据,可信计算规范本身的安全性需要得到验证.信任链是可信计算平台中保障系统安全可靠的主要技术手段,它是可信计算平台整个系统安全的中心问题.针对可信计算平台信任链规范的信息流安全问题,文中通过安全进程代数对信任链系统接口进行形式化建模,用可复合的不可演绎模型刻画信任链实体间的交互关系,把规范定义的信任链行为特性抽象为多级安全输入输出集,在讨论高级和低级输入输出依赖关系的基础之上,对信任链复合系统进行信息流分析,并给出结论和证明.
关键词
信任链
安全进程代数
可复合的不可演绎模型
Keywords
chain of trust
secure process algebra
non deducibility on composition
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
五十年来的科学哲学——从逻辑经验主义到历史主义(下)
2
作者
江天骥
机构
武汉大学哲学系
出处
《江汉论坛》
CSSCI
北大核心
1989年第5期21-26,共6页
文摘
三、历史主义的科学观逻辑经验主义者和波普尔的科学观及其对科学进步的看法都是以演绎模型为基础,而历史主义者库恩同他们的主要区别就在于依他看来,科学中理论更替的性质乃至于科学合理性本身的性质,都不具有由演绎模型的运用所提示的形式。逻辑经验主义者和波普尔都预先假定,对科学合理性的任何说明必须或者采取演绎模型,或者采取某些别的形式模型所提示的模式,而任何其他的途径都被排除在科学哲学的范围之外。与此相反,以库恩等人为代表的历史主义者却对这个预设本身提出怀疑。库恩从科学史的研究中感到逻辑经验主义者和波普尔的科学观和历史实际不符,不能够提供科学合理性和科学进步的说明,便首先发展出一种非形式的科学观。库恩的科学观的中心观点是:范式(paradigm)
关键词
演绎
模型
不相容性
非形式
逻辑经验主义
爱因斯坦
全称陈述
不可
通约性
历史主义
科学观
费耶阿本德
分类号
C55 [社会学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
可信计算平台信任链安全性分析
徐明迪
张焕国
赵恒
李峻林
严飞
《计算机学报》
EI
CSCD
北大核心
2010
19
在线阅读
下载PDF
职称材料
2
五十年来的科学哲学——从逻辑经验主义到历史主义(下)
江天骥
《江汉论坛》
CSSCI
北大核心
1989
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
