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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q114850211, #quickstatements; #temporary_batch_1705817641484
Property / Wikidata QID
 
Property / Wikidata QID: Q114850211 / rank
 
Normal rank

Revision as of 07:22, 21 January 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