The security checker: a semantics-based tool for the verification of security properties | IEEE Conference Publication | IEEE Xplore