A formal model of fair exchange protocols (Q866173)

From MaRDI portal





scientific article; zbMATH DE number 5128638
Language Label Description Also known as
English
A formal model of fair exchange protocols
scientific article; zbMATH DE number 5128638

    Statements

    A formal model of fair exchange protocols (English)
    0 references
    0 references
    0 references
    20 February 2007
    0 references
    events
    0 references
    local causal relation
    0 references
    local temporal relation
    0 references
    global relation
    0 references
    exchanged item
    0 references
    security goals
    0 references

    Identifiers