Formal Specification and Verification of Security Guidelines | IEEE Conference Publication | IEEE Xplore