A domain-specific language for cryptographic protocols based on streams (Q1001891)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A domain-specific language for cryptographic protocols based on streams
scientific article

    Statements

    A domain-specific language for cryptographic protocols based on streams (English)
    0 references
    0 references
    19 February 2009
    0 references
    cryptographic protocols
    0 references
    security analysis
    0 references
    automated theorem provers
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers