搜索结果: 1-1 共查到“军事学 Applications to Protocols”相关记录1条 . 查询时间(0.14 秒)
(De)Compositions of Cryptographic Schemes and their Applications to Protocols
Cryptographic Schemes Applications to Protocols
2009/1/13
The main result of this paper is that the Dolev-Yao model is a safe abstraction of the computational model for security protocols including those that combine asymmetric and symmetric encryption, sign...