Implementing access control mechanisms using rewrite techniques

 
Home
Publications
Seminars
Implementations
Related sites

Implementations

  • Access control policies in Maude. Report
  • Access control policies in Caml. Report

Current Master projects:

  • Dynamic access control policies in Java (University Aix-Marseille 1).
  • Programming languages with access control (Kings College London).
Maintained by C. Bertolissi