Title: Certified Security by Design Using Higher Order Logic
Subjects: Computer security, Logic, symbolic and mathematical