TY - BOOK AU - Berg,Clifford J. TI - High-assurance design: architecting secure and reliable enterprise applications SN - 9780321375773 PY - 2006/// CY - Upper Saddle River, NJ PB - Addison-Wesley KW - System design KW - Computer architecture N1 - Includes bibliographical references (p. [591]-616) and index UR - http://www.loc.gov/catdir/toc/ecip0515/2005018459.html ER -