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

Search Results

Help

Item hits: (Results 21-30 of 112)

Items/Page:    Sort:
基于模型检测的安全协议形式化分析方法的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-26
赵振举
  |  
 
高安全级信息系统中的特权控制机制及其模型研究 [会议论文]
2011年第五届中国可信计算与信息安全学术会议(CTCIS2011), 贵阳, 2011
陈亚莎; 赵勇; 刘燕; 沈昌祥

 
一种形式化的组件化软件过程建模方法 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 1, 页码: 1-16
翟健; 杨秋松; 肖俊超; 李明树

 
高安全级信息系统中的特权控制机制及其模型研究 [期刊论文]
山东大学学报(理学版), 2011-01-01, 期号: 9, 页码: 57-60
陈亚莎; 赵勇; 刘燕; 沈昌祥
  |  
 
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 [期刊论文]
中国科学院院刊, 2011-01-01, 期号: 3, 页码: 287-296
薛锐; 雷新锋
  |  
 
时间相关密码协议逻辑及其形式化语义 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋; 刘军; 肖军模
  |  
 
SRL→Radl生成系统及其相关理论研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-09-01
王昌晶
  |  
 
一种基于安全状态转移的简并测试集生成方法 [期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮; 张阳; 冯登国
  |  
 
笔式界面软件快速开发工具 [期刊论文]
中国图象图形学报, 2010-01-01, 卷号: 15, 期号: 7, 页码: 1007-1013
华超; 邓昌智; 戴国忠
  |  
 
面向访问验证保护级的安全VMM形式化原型系统设计和实现 [期刊论文]
计算机科学, 2010-01-01, 卷号: 37, 期号: 12, 页码: 85-90
易秋萍; 刘剑; 武术
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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