Treffer 1 - 4 von 4 für Suche 'Cremers, Cas J. F.', Suchdauer: 0,49s Treffer weiter einschränken
  1. 1
    The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols: Tool Paper

    The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols: Tool Paper von Cremers, Cas J. F.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol

    Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol von Cremers, Cas J. F.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Checking Secrecy by Means of Partial Order Reduction

    Checking Secrecy by Means of Partial Order Reduction von Cremers, Cas J. F., Mauw, Sjouke


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Comparing State Spaces in Automatic Security Protocol Analysis

    Comparing State Spaces in Automatic Security Protocol Analysis von Cremers, Cas J. F., Lafourcade, Pascal, Nadeau, Philippe


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: