Formal Definitions for Trust in Trusted Computing | IEEE Conference Publication | IEEE Xplore