A validated security policy modeling approach. - James W. Freeman; Richard B. Neely; M. A. Heckard (ACSAC, 1994)