Trusted Computing Platforms: Design and Applications