Information and Computation
A rewriting framework for the composition of access control policies
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
RTA '08 Proceedings of the 19th international conference on Rewriting Techniques and Applications
Distributed event-based access control
International Journal of Information and Computer Security
Computability closure: ten years later
Rewriting Computation and Proof
| Hi-index | 0.01 |