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

Search Results

Help

Item hits: (Results 1-10 of 18)

Filters    
Items/Page:    Sort:
基于Trustzone的强安全需求环境下可信代码执行方案 [期刊论文]
计算机研究与发展, 2015-01-01, 卷号: 52, 期号: 10, 页码: 2224-2238
张英骏; 冯登国; 秦宇; 杨波
  |  
 
基于可信移动平台的直接匿名证明方案研究 [期刊论文]
计算机研究与发展, 2014-01-01, 卷号: 51, 期号: 7, 页码: 1436-1445
杨波; 冯登国; 秦宇; 张倩颖; 奚瓅; 郑昌文

 
基于扩展逻辑变换系统_μTS证明循环优化正确性 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶

 
可信计算技术研究 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 8, 页码: 1332-1349
冯登国; 秦宇; 汪丹; 初晓博
  |  
 
面向网络生存时间的传感器网络融合延迟分配算法 [期刊论文]
计算机研究与发展, 2010-01-01, 卷号: 47, 期号: z2, 页码: 224-228
张树东; 皇甫伟
  |  
 
基于双线性群的同态承诺方案 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 9, 页码: 1532-1537
宋焰
  |  
 
带多项式量级约束条件的多商品流BWTSP线性规划 [期刊论文]
计算机研究与发展, 2007-01-01, 卷号: 44, 期号: 10, 页码: 1796-1800
江贺; 张宪超; 车皓阳; 陈国良
  |  
 
一种多层次特权控制机制的设计与实现 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: 3, 页码: 423-428
沈晴霓; 卿斯汉; 李丽萍
  |  
 
具有冲突约束的RBAC模型的形式化规范与证明 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: z2
袁春阳; 贺也平; 何建波; 周洲仪
  |  
 
验证方主导的远程证明方案 [期刊论文]
计算机研究与发展, 2006-01-01, 卷号: 43, 期号: suppl
秦宇; 冯登国
  |  
 

1 2 next

 

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