A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (Q2368990)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
scientific article

    Statements

    A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    28 April 2006
    0 references
    0 references
    Process Algebra
    0 references
    Observational equivalence
    0 references
    Probabilistic bisimulation
    0 references
    Security protocol analysis
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references