Sökning: "formal verification ProVerif state counter applied pi calculus freshness security protocols"
Hittade 1 uppsats innehållade orden formal verification ProVerif state counter applied pi calculus freshness security protocols.
1. Verification of security protocols with state in ProVerif : Avoiding false attacks when verifying freshness
Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)Sammanfattning : One of the issues when attempting to verify security properties of a protocol is how to model the protocol. We introduce a method for verifying event freshness in tools which use the applied π-calculus and are able to verify secrecy. Event freshness can be used to prove that a protocol never generates the same key twice. LÄS MER
Resultatsidor:
1