Secure Open Systems: An Investigation of Current Standardisation Efforts. - Paul L. Overbeek (SEC, 1992)

Formalizing information security requirements. - Mariana Gerber; Rossouw von Solms; Paul L. Overbeek (Inf. Manag. Comput. Secur., 2001)