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

Search Results

Help

Item hits: (Results 21-30 of 110)

Items/Page:    Sort:
一种形式化的组件化软件过程建模方法 [期刊论文]
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
易秋萍; 刘剑; 武术
  |  
 
Huffman算法程序的形式化推导 [期刊论文]
计算机工程, 2010-01-01, 卷号: 36, 期号: 5, 页码: 49-51
王昌晶; 罗海梅; 左正康; 薛锦云
  |  
 
限界模型检测方法及其应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2009-06-03
徐亮
  |  
 

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

 

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