Berg, Clifford J <br/><br/>
High-assurance design [electronic resource] : architecting secure and reliable enterprise applications 

 -  Addison-Wesley  2005 
<br/><br/><label>ISBN: </label>9780321375773 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Architecture<br/>electronic books<br/>System design
<br/><br/><label>Dewey Class. No.: </label>007.1 BER