1. Common Criteria for Information Technology Security Evaluation 2006
2. FAQs for the C&A Revitalization http://www .dni.gov/canda/blogs/faq.html, 2008
3. Hamlin , K. W. Morrisett , G. Schneider , F. B. 2003 Computability Classes for Enforcement Mechanisms TR2003-1908 Cornell University