ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Protection in programmed systems.
 
Purchase a copyPurchase a copy
Source
Pages: 145  
Year of Publication: 1973
Order Number:AAI7404721
Author
Anita Katherine Jones
Publisher
Carnegie Mellon University  Pittsburgh, PA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 26
Additional Information:

cited by   collaborative colleagues  

Tools and Actions: Review this Doctoral Thesis  

CITED BY  26
Anita K. Jones , Richard J. Lipton, The enforcement of security policies for computation, ACM SIGOPS Operating Systems Review, v.9 n.5, p.197-206, November 1975
Michael A. Harrison , Walter L. Ruzzo , Jeffrey D. Ullman, Protection in operating systems, Communications of the ACM, v.19 n.8, p.461-471, Aug. 1976
Patricia P. Griffiths , Bradford W. Wade, An authorization mechanism for a relational database system, ACM Transactions on Database Systems (TODS), v.1 n.3, p.242-255, Sept. 1976
R. J. Lipton , L. Snyder, A Linear Time Algorithm for Deciding Subject Security, Journal of the ACM (JACM), v.24 n.3, p.455-464, July 1977
John K. Ousterhout , Donald A. Scelza , Pradeep S. Sindhu, Medusa: an experiment in distributed operating system structure, Communications of the ACM, v.23 n.2, p.92-105, Feb. 1980
Richard P. Reitman , Gregory R. Andrews, Certifying information flow properties of programs: an axiomatic approach, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.283-290, January 29-31, 1979, San Antonio, Texas
Dorothy E. Denning , Peter J. Denning, Certification of programs for secure information flow, Communications of the ACM, v.20 n.7, p.504-513, July 1977
Matt Bishop , Lawrence Snyder, The transfer of information and authority in a protection system, Proceedings of the seventh ACM symposium on Operating systems principles, p.45-54, December 10-12, 1979, Pacific Grove, California, United States
Ellis Cohen , David Jefferson, Protection in the Hydra Operating System, ACM SIGOPS Operating Systems Review, v.9 n.5, p.141-160, November 1975
David Rine, Possibility theory: As a means for modeling computer security and protection, Proceedings of the eighth international symposium on Multiple-valued logic, p.276-286, January 1978, Rosemont, Illinois, United States
Anita K. Jones , Barbara H. Liskov, A language extension for expressing constraints on data access, Communications of the ACM, v.21 n.5, p.358-367, May 1978
Douglas W. Jones, Systematic protection mechanism design, ACM SIGPLAN Notices, v.17 n.4, p.77-80, April 1982
M. Satyanarayanan, Integrating security in a large distributed system, ACM Transactions on Computer Systems (TOCS), v.7 n.3, p.247-280, Aug. 1989
Virgil D. Gligor, Architectural implications of abstract data type implementation, Proceedings of the 6th annual symposium on Computer architecture, p.20-30, April 23-25, 1979
Theodore A. Linden, Operating System Structures to Support Security and Reliable Software, ACM Computing Surveys (CSUR), v.8 n.4, p.409-445, Dec. 1976
Douglas Cook, Measuring memory protection, Proceedings of the 3rd international conference on Software engineering, p.281-287, May 10-12, 1978, Atlanta, Georgia, United States
Dorothy E. Denning, A lattice model of secure information flow, Communications of the ACM, v.19 n.5, p.236-243, May 1976
Li Gong, Java Security: Present and Near Future, IEEE Micro, v.17 n.3, p.14-19, May 1997
Stuart Eichert , Osman N. Ertugay , Dan Nessett , Suresh Vobbilisetty, Commercially viable active networking, ACM SIGOPS Operating Systems Review, v.36 n.1, p.8-22, January 2002
P. A. Janson, Using type-extension to organize virtual-memory mechanisms, ACM SIGOPS Operating Systems Review, v.15 n.4, p.6-38, October 1981
Michael A. Harrison , Walter L. Ruzzo , Jeffrey D. Ullman, On protection in operating systems, ACM SIGOPS Operating Systems Review, v.9 n.5, p.14-24, November 1975
W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974
H. Rex Hartson , David K. Hsiao, Full protection specifications in the semantic model for database protection languages, Proceedings of the annual conference, p.90-95, October 20-22, 1976, Houston, Texas, United States
K. Mani Chandy , Ian Foster, A Notation for Deterministic Cooperating Processes, IEEE Transactions on Parallel and Distributed Systems, v.6 n.8, p.863-871, August 1995
Li Gong , Marianne Mueller , Hemma Prafullchandra , Roland Schemers, Going beyond the sandbox: an overview of the new security architecture in the javaTM development Kit 1.2, Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, p.10-10, December 08-11, 1997, Monterey, California
Steven B. Lipner , William A. Wulf , Roger R. Schell , Gerald J. Popek , Peter G. Neumann , Clark Weissman , Theodore A. Linden, Security kernels, Proceedings of the May 6-10, 1974, national computer conference and exposition, May 06-10, 1974, Chicago, Illinois
Collaborative Colleagues:
Anita Katherine Jones: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player