What question did this study set out to answer?

The aim is to design an authorization architecture that ensures trustworthy computing through logical attestation.

October 23, 2011

Logical attestation

View Full Paper

Ask AI

Bookmark

The aim is to design an authorization architecture that ensures trustworthy computing through logical attestation.
Developed a framework for runtime behavior reasoning of applications.
Implemented logical attestation with attributable, unforgeable statements about program properties.
Enabled mechanical processing and verification of these statements.
Demonstrated that logical attestation can act as credentials for software components.
Enabled authorization based on expressive policies while maintaining user choice of binary implementations.
Facilitated remote trust without compromising local system control.

No takes yet. Share an insight, caveat, or question.

Describes a new operating system authorization architecture to enhance software trustworthiness.

Sirer et al. (2011) studied this question.

View Full Paper

Ask AI

Bookmark