Essays about: "Pasi Saarinen"

Found 1 essay containing the words Pasi Saarinen.

  1. 1. Verification of security protocols with state in ProVerif : Avoiding false attacks when verifying freshness

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Pasi Saarinen; [2015]
    Keywords : formal verification ProVerif state counter applied pi calculus freshness security protocols;

    Abstract : 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. READ MORE