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

Search Results

Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
CTCS-3级列车运行控制系统的形式建模 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-30
权曌
  |  
 
基于PAR的排序算法自动生成研究 [期刊论文]
软件学报, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
石海鹤; 薛锦云

 
移动代理完整性协议形式化分析方法研究 [期刊论文]
电子学报, 2009-01-01, 卷号: 37, 期号: 8
李鹏飞; 马恒太; 侯玉文; 邱田
  |  
 
基于DTE策略的安全域隔离Z形式模型 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 11, 页码: 1881-1888
卿斯汉; 李丽萍; 何建波; 沈晴霓
  |  
 
一个支持空间上下文的访问控制形式模型 [期刊论文]
中国科学E辑, 2007-01-01, 卷号: 37, 期号: 2, 页码: 254-271
张宏; 贺也平; 石志国
  |  
 
基于模型检查实现J2EE规范的实例研究 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 12, 页码: 249-254
李彦; 张文博; 陈宁江
  |  
 
多方公平交换协议的形式化分析和设计 [期刊论文]
中国科学E辑, 2006-01-01, 卷号: 36, 期号: 6, 页码: 598-616
卿斯汉; 李改成
  |  
 
基于DTE技术的完整性保护形式模型 [期刊论文]
中国科学E辑, 2005-01-01, 卷号: 35, 期号: 6, 页码: 570-587
季庆光; 卿斯汉; 贺也平
  |  
 
对几类重要网络安全协议形式模型的分析 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 7, 页码: 1071-1083
季庆光; 冯登国
  |  
 
高安全级操作系统形式设计的研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004-01-01
季庆光
  |  
 

1 2 next

 

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