Specification and verification of confidentiality in software architectures ; Yazılım mimarilerinde gizlilik belirtimi ve doğrulaması. - Cemil Ulu (2004)