Valid Policies for Secure Key Management GUILLAUME SCERRI AND RYAN STANLEY-OAKES, UNIVERSITY OF BRISTOL.