Distributed temporal logic for the analysis of security protocol models (Q549724): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2011.04.006 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2011.04.006 / rank
 
Normal rank

Latest revision as of 22:13, 9 December 2024

scientific article
Language Label Description Also known as
English
Distributed temporal logic for the analysis of security protocol models
scientific article

    Statements

    Distributed temporal logic for the analysis of security protocol models (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    18 July 2011
    0 references
    security protocols
    0 references
    security protocol analysis
    0 references
    security protocol models
    0 references
    temporal logic
    0 references
    distributed temporal logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references