Skip to content
cs-conference-ranking
.org
By subfield
By rank
Methodology
⌕
Search 971 venues
Home
/
SEC
/
Paper
A Simple and Efficient Approach to Verfying Cryptographic Protocols.
Yongxing Sun
,
Xinmei Wang
Venue
Unranked
SEC
Year
2000
Proceedings
SEC
DBLP record
conf/sec/YongxingX00 ↗
Browse the full
SEC paper archive
.