Al Qahtani، A. A.، و Dickinson، J. (2003). Formal Approaches for Specifying, Enforcing, and Verifying Security Policies (رسالة دكتوراه غير منشورة). University of Idaho، أيداهو. مسترجع من http://search.mandumah.com/Record/618805
Al Qahtani، Abd Allah، و John Dickinson. "Formal Approaches for Specifying, Enforcing, and Verifying Security Policies" رسالة دكتوراه. University of Idaho، أيداهو، 2003. مسترجع من http://search.mandumah.com/Record/618805