TY - BOOK AU - Berg, Clifford J TI - High-assurance design [electronic resource] : architecting secure and reliable enterprise applications SN - 9780321375773 U1 - 007.1 BER PY - 2005/// PB - Addison-Wesley KW - Computer Architecture KW - electronic books KW - System design ER -