logodl
arrow Annual Symposium on Principles of Programming Languages
 
arrow Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
January 19 - 21, 2000, Boston, MA USA

access SIGs conferences

A type system for expressive security policies
Pages 254-267

David Walker

metadata:   index terms  
rule rule rule rule
full text:   pdf 1825 KB



back to top
blue HR

INDEX TERMS

Categories and Subject Descriptors:
Software -Programming Languages - Language Constructs and Features (D.3.3); Software -Software Engineering - Software/Program Verification (D.2.4); Theory of Computation -Logics and Meanings of Programs - Semantics of Programming Languages (F.3.2);



blue HR