"High Assurance Services Computing" - читать интересную книгу автора (Jing Dong, Raymond Paul, Liang-Jie Zhang)