A communication framework for distributed access control in microkernel-based systems