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

Search Results

Help

Item hits: (Results 41-50 of 110)

Items/Page:    Sort:
基于代数的软件过程建模系统的设计与实现 [期刊论文]
计算机工程与设计, 2008-01-01, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟; 杨秋松; 翟健; 袁峰
  |  
 
一个基于单向散列函数的实用等级密钥管理方案 [期刊论文]
北京大学学报(自然科学版), 2008-01-01, 卷号: 44, 期号: 4, 页码: 527-536
韩心慧; 龙勤; 司端锋; 诸葛建伟; 叶志远
  |  
 
Isabelle在分析安全操作系统状态机模型中的应用 [期刊论文]
计算机工程与设计 , 2008-01-01, 卷号: 29, 期号: 3, 页码: 580-582, 730
陈坤; 贺也平
  |  
 
安全操作系统开发中的形式化技术应用研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-08
陈坤
  |  
 
高等级安全操作系统完整性策略模型设计开发及其形式化研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-04
唐柳英
  |  
 
高等级安全操作系统中可信恢复关键技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-04
袁春阳
  |  
 
安全操作系统策略模型的关键问题研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-06-04
何建波

 
公平交换协议分析与实现技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-01-16
李改成
  |  
 
优先级顶协议的形式化验证 [期刊论文]
计算机仿真, 2007-01-01, 卷号: 24, 期号: 6, 页码: 276-279
张博颖
  |  
 
形式化开发Hanoi塔问题非递归算法 [期刊论文]
计算机工程与应用, 2007-01-01, 期号: 11, 页码: 96-99
石海鹤; 石海鹏; 薛锦云
  |  
 

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

 

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