搜索结果: 1-1 共查到“密码学 protocol analysis”相关记录1条 . 查询时间(0.171 秒)
Verifpal: Cryptographic Protocol Analysis for Students and Engineers
cryptographic protocols formal verification
2019/8/30
Contemporary research in symbolic formal verification has led to confirming security guarantees (as well as finding attacks) in secure channel protocols such as TLS and Signal. However, formal verific...