Formal analysis of PIN block attacks - STEEL, Graham (Automated reasoning for security protocol analysis, 2006)
text