- Carlos Ribeiro, André Zúquete, Paulo Ferreira, and Paulo Guedes. Security policy consistency. In T. Frühwirth and others, editors, RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming, July 2000.
- Carlos Ribeiro and Paulo Guedes. Verifying workflow processes against organization security policies. In WETICE '99: Proc. 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, 1999. IEEE Computer Society. [doi:10.1109/ENABL.1999.805198]
BACK TO INDEX