Formally Testing Fail - S af e ty of Electronic Purse Protocols* (Extended Abstract)
Jan Jürjens, Guido Wimmel · 2001
Designing and implementing security-critical systems correctly is difficult. In practice, most vulnerabilities arise from bugs in implementations. We present work towards systematic specification-based testing of security-critical systems using the CASE tool AutoFocus. Cryptographic