Formal specification of security guidelines for program certification | IEEE Conference Publication | IEEE Xplore