|
A type system for expressive security policies
Pages 254-267
|
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);
The Digital Library is published by the Association for Computing Machinery. Copyright © 1999, 2000 ACM, Inc.
This page was last updated Fri, 18 Aug. 2000 15:30 -0500
.
| ||
|