Berg, Clifford J. <br/><br/>
High-Assurance Design  Architecting secure and reliable enterprise applications 
Clifford J. Berg 
 - Upper Saddle River,NJ  Pearson Education Inc.  c2006 
 - xvii,660p.:  ill.;  24cm 
<br/><br/>Includes index 
<br/><br/><label>ISBN: </label>0321375777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design<br/>ANS, DNS, DIP, DIS<br/>Computer architecture