Formal analysis of PIN block attacks (Q860910)

From MaRDI portal
Revision as of 15:01, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Formal analysis of PIN block attacks
scientific article

    Statements

    title
    Formal analysis of PIN block attacks (English)
    0 references
    author
    Graham Steel
    0 references
    publication date
    9 January 2007
    0 references
    zbMATH Keywords
    security API analysis
    0 references
    PIN blocks
    0 references
    constraint logic programming
    0 references
    probabilistic model checking
    0 references

    Identifiers

    Mathematics Subject Classification ID
    94A62
    0 references
    68Q60
    0 references
    94A60
    0 references
    zbMATH DE Number
    5083541
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q860910&oldid=12804291"
    Powered by MediaWiki