search

boltlabs-inc / key-mgmt-spec

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

Write export workflow #34

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Write an export protocol for local-client that captures the export flow requirements.

This protocol is responsible for exporting a secret from the system. The specification should rely on general building blocks, e.g., the retrieve functionality(ies) should be used here for exporting a secret from the key server.

indomitableSwan commented 2 years ago

Upon completion, @indomitableSwan or @marsella should write corresponding ticket(s) in key-mgmt.