中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
信息安全国家重点实... [17]
作者
Content Type
期刊论文 [11]
学位论文 [6]
Issued Date
2019 [1]
2016 [1]
Language
中文 [6]
Source
计算机学报 [2]
软件学报 [2]
中国科学院研究生院学... [1]
中国科学院院刊 [1]
北京大学学报（自然科... [1]
更多...
Project
Indexed
CSCD [3]
WANFANG [2]
EI [1]
其他 [1]
Spnsorship
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 17)
Filters
Community：信息安全国家重点实验室
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
基于 TPM 2.0 的协议设计与分析研究
[学位论文]
博士, 北京: 中国科学院研究生院, 2019-05-01
王微谨
|
下一代可信计算协议的设计与分析
[学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-21
邵健雄
|
基于MTM的可信系统应用与安全性分析研究
[学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-23
冯伟
|
可信计算协议的形式化分析方法和测试技术研究
[学位论文]
博士, 北京: 中国科学院研究生院, 2014-11-01
奚瓅
|
基于状态转移系统的安全协议形式化建模方法的研究
[学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-29
岳庆刚
|
基于模型检测的安全协议形式化分析方法的研究
[学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-26
赵振举
|
高安全级信息系统中的特权控制机制及其模型研究
[期刊论文]
山东大学学报(理学版), 2011-01-01, 期号: 9, 页码: 57-60
陈亚莎
;
赵勇
;
刘燕
;
沈昌祥
|
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势
[期刊论文]
中国科学院院刊, 2011-01-01, 期号: 3, 页码: 287-296
薛锐
;
雷新锋
|
时间相关密码协议逻辑及其形式化语义
[期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋
;
刘军
;
肖军模
|
一种基于安全状态转移的简并测试集生成方法
[期刊论文]
软件学报, 2010-01-01, 卷号: 21, 期号: 3, 页码: 539-547
程亮
;
张阳
;
冯登国
|
1
2
next
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace
