Formal analysis of PIN block attacks
From MaRDI portal
Publication:860910
DOI10.1016/j.tcs.2006.08.042zbMath1153.94461MaRDI QIDQ860910
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
94A60: Cryptography
68Q60: Specification and verification (program logics, model checking, etc.)
94A62: Authentication, digital signatures and secret sharing
Related Items
Guessing bank PINs by winning a mastermind game, Plans, actions and dialogues using linear logic, An Introduction to Security API Analysis
Cites Work