boltlabs-inc / key-mgmt-spec

Formal specification for the key management project
MIT License
3 stars 2 forks source link

TBD: Refine description of session_key encryption tunnel #147

Open gijsvl opened 1 year ago

gijsvl commented 1 year ago

An encryption tunnel was added that uses an AEAD schema using the session_key. The description in the spec is somewhat out of date and incomplete: https://github.com/boltlabs-inc/key-mgmt-spec/blob/develop/systems-architecture.md#opening-the-application-layer-authenticated-channel

Make sure to incorporate the following points: