6614 search results - page 1236 / 1323 » Semantics of Information as Interactive Computation |
POLICY
2007
Springer
15 years 4 months ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
147
click to vote
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
SACMAT
2010
ACM
15 years 2 months ago
2010
ACM
We propose a new approach for applying Role-Based Access Control (RBAC) to methods in objects in the Java programming language. In our approach, a policy implementer (usually a de...
MPC
2010
Springer
15 years 2 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...