boltlabs-inc / key-mgmt-spec

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

adjust secret generation/retrieve protocols to save context #118

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Both of the above are for future security: if the key server does not save state as to where keys are created and whether or not they have been retrieved, the key server cannot enforce policies around shared control.