Cooperative security administration in multi-security-domain environments using a variant of deontic logic.