An Interactive Prover for Protocol Verification in the Computational Model
2021 IEEE Symposium on Security and Privacy (SP)(2021)
摘要
Given the central importance of designing secure protocols, providing solid mathematical foundations and computer-assisted methods to attest for their correctness is becoming crucial. Here, we elaborate on the formal approach introduced by Bana and Comon in [10], [11], which was originally designed to analyze protocols for a fixed number of sessions, and lacks support for proof mechanization.In th...
更多查看译文
关键词
Security Protocols,Formal Methods,Observational Equivalence,Computational Security,Interactive Prover
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要