author : Ross J. Anderson

Books

• Security Engineering: 2nd edn. 2008

Short works

• The Formal Verification of a Payment System. 1999. (In Industrial-Strength Formal Methods in Practice )

Books : reviews

Ross J. Anderson.
Security Engineering: 2nd edn.
Wiley. 2008