A framework for expressing models of security policy | IEEE Conference Publication | IEEE Xplore