Publication | Closed Access
Realizing property-based attestation and sealing with commonly available hard- and software
68
Citations
3
References
2007
Year
Unknown Venue
EngineeringInformation SecurityVerificationSoftware AnalysisFormal VerificationHardware SecurityBinary MeasurementsSoftware ConfigurationSystems EngineeringTrusted Execution EnvironmentTrusted Operating SystemAuthenticated Boot ProcessProperty-based AttestationRuntime VerificationOperating System SecurityComputer EngineeringComputer ScienceSecurity Testing MethodData SecurityCommonly Available Hard-CryptographyTrusted PlatformSoftware TestingSystem SoftwareSecurity PropertyIntegrity Verification
The authenticated boot process introduced by the Trusted Computing Group (TCG) uses binary measurements, i.e., hashes of executables, to give an indication of which software configuration runs on a given computing platform. As the binary measurements change with any software update, sealed data becomes unavailable, too. To solve this and other problems regarding binary measurements, the concept ofproperty-based attestation has been introduced.
| Year | Citations | |
|---|---|---|
Page 1
Page 1