![]() ![]() ![]() ![]() ![]() ![]() ![]() | |||||||||
|
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
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
.
|
![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |