A Secure and Reliable Platform Configuration Change Reporting Mechanism for Trusted Computing Enhanced Secure Channels | IEEE Conference Publication | IEEE Xplore