UEFI Trusted Computing Vulnerability Analysis Based on State Transition Graph | IEEE Conference Publication | IEEE Xplore