中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
基于MTM的可信系统应用与安全性分析研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-23
冯伟
  |  
 
可信计算协议的形式化分析方法和测试技术研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-01
奚瓅
  |  
 
动态远程证明协议及其形式化分析 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 8, 页码: 2901-2905
辛思远; 赵勇; 王婷

 
可信平台模块的形式化分析和测试 [期刊论文]
计算机学报, 2009-01-01, 期号: 4, 页码: 646-653
陈小峰
  |  
 
网络安全协议形式化分析及支撑工具研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-18
肖美华

 
基于代数的软件过程建模系统的设计与实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟; 杨秋松; 翟健; 袁峰
  |  
 
安全操作系统开发中的形式化技术应用研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-08
陈坤
  |  
 
高安全等级操作系统可信进程安全策略及其关键技术的研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-08
沈晴霓
  |  
 
对一类多级安全模型安全性的形式化分析 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波; 卿斯汉; 王超
  |  
 
多方公平交换协议的形式化分析和设计 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 6, 页码: 598-616
卿斯汉; 李改成
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace