2004
Stefanos Gritzalis, YES, pp. = , Security Evaluation and Assurance   
1995
Stefanos Gritzalis, P. Georgiadis, YES, pp. = , Operating Systems Security