搜索结果: 1-2 共查到“密码学 cryptographic protocol”相关记录2条 . 查询时间(0.14 秒)
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...
Cryptographic Protocol Composition via the Authentication Tests
Cryptographic Protocol Composition Authentication Tests syntactic criteria
2009/6/9
Although cryptographic protocols are typically analyzed in
isolation, they are used in combinations. If a protocol was analyzed alone
and shown to meet some security goals, will it still meet those ...