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. 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)

    Författare :Pasi Saarinen; [2015]
    Nyckelord :formal verification ProVerif state counter applied pi calculus freshness security protocols;

    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