High Assurance Services Computing - Zhang, Liang-Jie.; Paul, Raymond; Dong, Jing.; SpringerLink (Online service) (Boston, MA : Springer US, 2009)
Keywords: Computer science; Operating systems (Computers).; Software engineering; Data protection; Computer Science; Systems and Data Security; Programming Languages, Compilers, Interpreters; Programming Techniques; Processor Architectures; Performance and Reliability; Software Engineering/Programming and Operating Systems