Verifying Security. - Maureen Harris Cheheyl; Morrie Gasser; George A. Huff; Jonathan K. Millen (ACM Comput. Surv., 1981)