Encoding cryptographic primitives in a calculus with polyadic synchronisation (Q540687): Difference between revisions

From MaRDI portal
Normalize DOI.
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/S10817-010-9189-7 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S10817-010-9189-7 / rank
 
Normal rank

Latest revision as of 20:57, 9 December 2024

scientific article
Language Label Description Also known as
English
Encoding cryptographic primitives in a calculus with polyadic synchronisation
scientific article

    Statements

    Encoding cryptographic primitives in a calculus with polyadic synchronisation (English)
    0 references
    0 references
    0 references
    3 June 2011
    0 references
    barbed congruence
    0 references
    (early) bisimulation
    0 references
    cryptographic primitives
    0 references
    fully abstract encoding
    0 references
    \(\pi \)-calculus
    0 references
    polyadic synchronisation
    0 references

    Identifiers