On the Improvement of SVO Logic Analysis
Huang Ping · 2008
SVO logic lacks a formalized description for authentication of complex compound messages. This paper proposes a new logic—SVO+ logic for analysis of complex compound messages, improving corresponding axioms of reasoning and giving its proofs. And security of the JFKr protocol is analysed with SVO+. Practice proves that expansion and improvement of SVO logic are practical and effective, compared to other analysis of the JFKr protocol.