First Page | Document Content | |
---|---|---|
Date: 2013-01-05 00:32:20Mathematical logic Prolog Mathematical proof SQL Idea Computing Cognition Programming language theory | Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College {minami, dfk}@cs.dartmouth.edu AbstractAdd to Reading ListSource URL: systemsresilience.orgDownload Document from Source WebsiteFile Size: 245,85 KBShare Document on Facebook |