A framework for translating a high level security policy into low level security mechanisms | IEEE Conference Publication | IEEE Xplore