High-assurance design [electronic resource] : architecting secure and reliable enterprise applications - Berg, Clifford J (Addison-Wesley, 2005)
Keywords: Computer Architecture; electronic books; System design