搜索结果: 1-1 共查到“Symbolic Encryption”相关记录1条 . 查询时间(0.203 秒)
Private-key Symbolic Encryption
Symbolic Encryption Hidden Assumptions Formal Security Model
2012/3/23
Symbolic encryption, in the style of Dolev-Yao models, is ubiquitous in formal security analysis aiming at the automated verification of network protocols. The naive use of symbolic encryption, howeve...
