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

Search Results

Help

Item hits: (Results 31-40 of 110)

Items/Page:    Sort:
操作系统强制访问控制关键技术研究 [学位论文]
硕士, 中科院 软件所: 中科院 软件所, 2009-06-02
周洲仪
  |  
 
模态逻辑公式为见证的互模拟等价判定 [学位论文]
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009-05-20
李明
  |  
 
基于MDA和可执行形式化的可信软件设计 [期刊论文]
计算机工程, 2009-01-01, 卷号: 35, 期号: 19, 页码: 138-140
唐艳; 杜玉越; 刘伟
  |  
 
基于Isabelle定理证明器算法程序的形式化验证 [期刊论文]
计算机工程与科学, 2009-01-01, 卷号: 31, 期号: 10, 页码: 85-89
游珍; 薛锦云
  |  
 
一类0-1背包问题算法程序的形式化推导 [期刊论文]
武汉大学学报(理学版), 2009-01-01, 期号: 6, 页码: 674-680
王昌晶; 薛锦云
  |  
 
可信平台模块的形式化分析和测试 [期刊论文]
计算机学报, 2009-01-01, 期号: 4, 页码: 646-653
陈小峰
  |  
 
移动代理完整性协议形式化分析方法研究 [期刊论文]
电子学报, 2009-01-01, 卷号: 37, 期号: 8
李鹏飞; 马恒太; 侯玉文; 邱田
  |  
 
基于PAR的高可信装备保障算法推演 [学位论文]
硕士, 北京: 中国科学院研究生院, 2009-01-01
郑宇军
  |  
 
网络安全协议形式化分析及支撑工具研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-18
肖美华

 
高安全等级操作系统形式化开发技术研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2008-01-15
李丽萍
  |  
 

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

 

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