中国科学院软件研究所机构知识库
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
软件所图书馆 [62]
信息安全国家重点实验... [2]
作者
郭晖 [1]
Content Type
会议论文 [62]
专著章节/文集论文 [2]
Issued Date
Language
英语 [63]
中文 [1]
Source
entertainm... [1]
lecture no... [1]
Project
Indexed
EI [57]
CPCI [14]
SCI [5]
CPCI(ISTP) [2]
Spnsorship
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 64)
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
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
A Strand Space Approach to Provable Anonymity
[会议论文]
2nd International Workshop of Formal Techniques for Safety-Critical Systems, FTSCS 2013, Queenstown, New zealand, October 29, 2013 - October 30, 2013
Li, Yongjian (1)
;
Pang, Jun (2)
A general method to evaluate the correlation of randomness tests
[会议论文]
14th International Workshop on Information Security Applications, WISA 2013, Jeju Island, Korea, Republic of, August 19, 2013 - August 21, 2013
Fan, Limin (1)
;
Chen, Hua (1)
;
Gao, Si (1)
Low data complexity inversion attacks on stream ciphers via truncated compressed preimage sets
[会议论文]
19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014
Zhong, Xiao (1)
;
Wang, Mingsheng (3)
;
Zhang, Bin (1)
;
Wu, Shengbao (1)
Automated proof for authorization protocols of TPM 2.0 in computational model
[会议论文]
10th International Conference on Information Security Practice and Experience, ISPEC 2014, Fuzhou, China, May 5, 2014 - May 8, 2014
Wang, Weijin (1)
;
Qin, Yu (1)
;
Feng, Dengguo (1)
Software Development Method Based on Structured Management of Code
[会议论文]
7th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2012, Beijing, China, December 15, 2012 - December 17, 2012
Chen, Xia (1)
;
Zhao, Junsuo (1)
Optimizing and scaling HPCG on tianhe-2: Early experience
[会议论文]
14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, Dalian, China, August 24, 2014 - August 27, 2014
Zhang, Xianyi (1)
;
Yang, Chao (1)
;
Liu, Fangfang (1)
;
Liu, Yiqun (1)
;
Lu, Yutong (4)
Improved multidimensional zero-correlation linear cryptanalysis and applications to LBlock and TWINE
[会议论文]
19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014
Wang, Yanfeng (1)
;
Wu, Wenling (1)
Fast symmetric pairing revisited
[会议论文]
6th International Conference on Pairing-Based Cryptography, Pairing 2013, Beijing, China, November 22, 2013 - November 24, 2013
Zhang, Xusheng (1)
;
Wang, Kunpeng (2)
Bisimulations and logical characterizations on continuous-time markov decision processes
[会议论文]
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1)
;
Zhang, Lijun (2)
;
Godskesen, Jens Chr. (3)
Improved Davies-Murphy's attack on des revisited
[会议论文]
6th International Symposium on Foundations and Practice of Security, FPS 2013, La Rochelle, France, October 21, 2013 - October 22, 2013
Lu, Yi (1)
;
Desmedt, Yvo (2)
1
2
3
4
5
6
7
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace