M. Abadi, On SDSI’s linked local name spaces, Journal of Computer Security, vol. 6(1-2), pp. 3–21, 1998.
V. Bernat, H. Ruess and N. Shankar, First-Order CyberLogic, Technical Report, SRI International, Menlo Park, California (ftp.csl.sri .com/pub/users/shankar/cyberlogic-report.pdf), 2005.
Court of Appeals of the District of Columbia, Frye v. United States, Federal Reporter, vol. 293, pp. 1013–1014, 1924.
GENI Project Office, Global Environment for Network Innovations, BBN Technologies, Cambridge, Massachusetts (www.geni.net).
International Business Machines, Security policy definition, Armonk, New York (www-935.ibm.com/services/us/index.wss/offer ing/gbs/a1002391).
B. Lampson, Protection, ACM Operating Systems Reviews, vol. 8(1), pp. 18–24, 1974.
U. Maurer, Modeling a public key infrastructure, Proceedings of the Fourth European Symposium on Research in Computer Security, pp. 325–350, 1996.
J. Moschovakis, Intuitionistic logic, Stanford Encyclopedia of Philosophy, Metaphysics Research Laboratory, Stanford University, Palo Alto, California (plato.stanford.edu/entries/logic-intuitionistic).
G. Nadathur, A proof procedure for the logic of hereditary Harrop formulas, Journal of Automated Reasoning, vol. 11(1), pp. 115–145, 1993.
W. Quine, The Ways of Paradox, Harvard University Press, Cambridge, Massachusetts, 1962.
M. Reiter and S. Stubblebine, Toward acceptable metrics of authentication, Proceedings of the IEEE Symposium on Security and Privacy, pp. 10–20, 1997.
SourceForge, FUSE: Filesystem in userspace (fuse.sourceforge.net).
Sun Microsystems, Security policy services, Santa Clara, California (www.sun.com/service/security/securitypolicyservices.xml).
Supreme Court of Texas, Merrell Dow Pharmaceuticals, Inc. v. Havner, South Western Reporter, vol. 953(S.W.2d), pp. 706–733, 1998.
Trusted Computing Group, Beaverton, Oregon (www.trustedcomp utinggroup.org).
U.S. Government, Health Insurance Portability and Accountability Act, Public Law 104–191, United States Statutes at Large, vol. 110(3), pp. 1936–2103, 1997.
U.S. Government, Gramm-Leach-Bliley Act, Public Law 106–102, 106th Congress, United States Statutes at Large, vol. 113(2), pp. 1338–1481, 2000.
U.S. Government, Sarbanes-Oxley Act, Public Law 107–204, 107th Congress, United States Statutes at Large, vol. 116(1), pp. 745–810, 2003.
U.S. Supreme Court, Daubert v. Merrell Dow Pharmaceuticals, Inc., United States Reports, vol. 509, pp. 579–601, 1983.
J. van Heijenoort, From Frege to Godel: A Source Book in Mathematical Logic 1879–1931, Harvard University Press, Cambridge, Massachusetts, 1967.