Proof-of-Possession Key Semantics for CBOR Web Tokens (CWTs).
Michael B. JonesLudwig SeitzGöran SelanderSamuel ErdtmanHannes TschofenigPublished in: RFC (2020)
Keyphrases
- website
- web pages
- web applications
- proof theory
- owl ontologies
- complete axiomatization
- semantic web
- web users
- formal semantics
- semantic descriptions
- web documents
- semantic information
- web mining
- web data
- linear logic
- theorem prover
- machine processable
- database
- xml keys
- higher order logic
- web services
- current web
- semantic description
- keywords
- information overload
- theorem proving
- web content
- wordnet