Simultaneous enforcement of the Bell-LaPadula and the Biba security policy models in an OSI-distributed system | IEEE Conference Publication | IEEE Xplore