TY  - RPRT
TI  - Security Policy Consistency
AU  - Carlos Ribeiro
AU  - Andre Zuquete
AU  - Paulo Ferreira
AU  - Paulo Guedes
PY  - 2000
UR  - https://arxiv.org/abs/cs/0006045
ID  - cs/0006045
ER  -