Berg, Clifford J High-assurance design [electronic resource] : architecting secure and reliable enterprise applications - Addison-Wesley 2005 ISBN: 9780321375773 Subjects--Topical Terms: Computer Architectureelectronic booksSystem design Dewey Class. No.: 007.1 BER