No label defined (Q4518908)

From MaRDI portal
scientific article; zbMATH DE number 1538051
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1538051

    Statements

    0 references
    0 references
    0 references
    5 August 2001
    0 references
    0 references
    0 references
    0 references
    0 references
    model checking
    0 references
    partial order reduction
    0 references
    cryptographic protocols
    0 references
    BRUTUS
    0 references
    security protocols
    0 references