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
Confinement properties for programming languages
Full text PdfPdf (607 KB)
Source ACM SIGACT News archive
Volume 29 ,  Issue 3  (September 1998) table of contents
Pages: 33 - 42  
Year of Publication: 1998
ISSN:0163-5700
Authors
Dennis Volpano  Naval Postgraduate School, Monterey, CA
Geoffrey Smith  Florida International Univ., Miami, FL
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 4,   Downloads (12 Months): 13,   Citation Count: 4
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/300307.300311
What is a DOI?

CITED BY  4
Jan Vitek , Boris Bokowski, Confined types, ACM SIGPLAN Notices, v.34 n.10, p.82-96, Oct. 1999
Peter Sewell , Jan Vitek, Secure composition of untrusted code: box π, wrappers, and causality types, Journal of Computer Security, v.11 n.2, p.135-187, May 2003
R. Echahed , F. Prost, Security policy in a declarative style, Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.153-163, July 11-13, 2005, Lisbon, Portugal
Geoffrey Smith , Dennis Volpano, Basic research in information privacy, ACM SIGSOFT Software Engineering Notes, v.25 n.1, p.86, Jan 2000

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.3 Formal Languages
          Subjects: Algebraic language theory

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS


General Terms:
Languages, Security, Theory

Collaborative Colleagues:
Dennis Volpano: colleagues
Geoffrey Smith: 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