"Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security" - читать интересную книгу автора (M. Broy, W. Sitou and T. Hoare)