Berg, Clifford J. <br/><br/>
High-assurance design :  architecting secure and reliable enterprise applications / 
Clifford J. Berg 
 - Upper Saddle River, NJ :  Addison-Wesley,  c2006 
 - xxvii, 660 p. :  ill. ;  25 cm. 
<br/><br/>Includes bibliographical references (p. [591]-616) and index 
<br/><br/><label>ISBN: </label>9780321375773 0321375777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design<br/>Computer architecture