Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (Q4928441): Difference between revisions

From MaRDI portal
Changed an Item
Set OpenAlex properties.
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W40499433 / rank
 
Normal rank

Latest revision as of 18:33, 19 March 2024

scientific article; zbMATH DE number 6176212
Language Label Description Also known as
English
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
scientific article; zbMATH DE number 6176212

    Statements

    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    14 June 2013
    0 references

    Identifiers