An inductive approach to strand spaces (Q470008)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An inductive approach to strand spaces
scientific article

    Statements

    An inductive approach to strand spaces (English)
    0 references
    0 references
    0 references
    11 November 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    strand spaces
    0 references
    security protocols
    0 references
    theorem proving
    0 references
    inductive methods
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references