Protocol for Dynamic Component-Property Attestation in Trusted Computing | IEEE Conference Publication | IEEE Xplore