Alapfogalmak
A formal logic is introduced to reason about contextual trust in the binding of identities (domain names and onion addresses) and their associated descriptive properties (labels) in the context of Self-Authenticating Traditional Addresses (SATAs).
Kivonat
The paper introduces a formal logic for reasoning about contextual trust in web addresses, particularly Self-Authenticating Traditional Addresses (SATAs). SATAs combine the meaningfulness of traditional domain names with the self-authentication of onion addresses.
The logic allows reasoning about:
The binding of a domain name and onion address into a single identity (a "bound" SATA)
Descriptive properties (labels) associated with a bound SATA, such as it being a news site, belonging to a government, or relating to a specific topic
Delegation of trust with respect to these labels, including more specific or more generic labels
The interaction between the binding of identity and the binding of labels
Key aspects of the logic include:
A partial order on labels that captures more specific or more generic relationships
Axioms that describe when a principal can trust the binding of an identity or the assertion of a label by a SATA
Local axiom schemata that allow principals to express their own trust assumptions about labels or SATAs
Soundness and completeness results for the logic
The logic provides a formal foundation for reasoning about the contextual trust properties of SATAs, which complement the structural trust established via domain name registration and TLS certificates.
Statisztikák
There are no key metrics or figures used to support the author's logic. The paper focuses on the formal development of the logic.
Idézetek
There are no striking quotes from the content.