The Layered Games Framework for Specifications and Analysis of Security Protocols (Q5445502)

From MaRDI portal
scientific article; zbMATH DE number 5242851
Language Label Description Also known as
English
The Layered Games Framework for Specifications and Analysis of Security Protocols
scientific article; zbMATH DE number 5242851

    Statements

    Identifiers