Modelling of security properties in Alloy | IEEE Conference Publication | IEEE Xplore