A Logic of Sattestation

arXiv:2405.01809v1 Announce Type: new
Abstract: We introduce a logic for reasoning about contextual trust for web addresses, provide a Kripke semantics for it, and prove its soundness under reasonable assumptions about principals' policies.
Self-Authenticating Traditional Addresses (SATAs) are valid DNS addresses or URLs that are generally meaningful -- to both humans and web infrastructure -- and contain a commitment to a public key in the address itself. Trust in web addresses is currently established via domain name registration, TLS certificates, …

addresses arxiv contextual cs.cr cs.lo dns humans infrastructure logic meaningful policies prove reasoning semantics trust under urls valid web web infrastructure