Analysis of security protocols as open systems (Q1853583): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q114850211, #quickstatements; #temporary_batch_1705817641484
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 11:11, 1 February 2024

scientific article
Language Label Description Also known as
English
Analysis of security protocols as open systems
scientific article

    Statements

    Analysis of security protocols as open systems (English)
    0 references
    0 references
    21 January 2003
    0 references
    security protocol analysis
    0 references
    process algebras
    0 references
    partial model checking
    0 references
    temporal logic
    0 references

    Identifiers