Formal analysis of PIN block attacks

DOI10.1016/j.tcs.2006.08.042zbMath1153.94461OpenAlexW2066959490MaRDI QIDQ860910

Graham Steel

Publication date: 9 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.08.042

zbMATH Keywords

constraint logic programmingprobabilistic model checkingPIN blockssecurity API analysis

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Related Items (4)

Unnamed Item ⋮ Guessing bank PINs by winning a mastermind game ⋮ Plans, actions and dialogues using linear logic ⋮ An Introduction to Security API Analysis

Cites Work

• A logic for reasoning about time and reliability
• Automated Deduction – CADE-20
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Formal analysis of PIN block attacks