LEAST PRIVILEGE IN SEPARATION KERNELS Topics: Access Control in Computing Environments; Security Engineering; Security Information Systems Architectures; Security Requirements In Proceedings of the International Conference on Security and Cryptography - Volume 0ICETE, 355-362, 2006 , Setúbal, Portugal