搜索结果: 1-1 共查到“军队指挥学 protocol analysis”相关记录1条 . 查询时间(0.093 秒)
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...