Chapter 4Verification Techniques
Wherein existing methods for building secure systems are examined
and found wanting.Verification Techniques 911. Introduction
In 1987 Fred Brooks produced his seminal and oft-quoted paper “No Silver Bullet: Essence and Accidents of
Software Engineering” [1]. Probably the single most important point made in this article is one which
doesn’t directly touch on the field of computer software at all, but which comes from the field of medicine.
Before moder
