search

boltlabs-inc / key-mgmt-spec

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

Write import flow #33

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

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

This protocol is responsible for importing an externally-generated secret into the system. The specification should rely on general building blocks, e.g., the store functionality(ies) should be used here.

indomitableSwan commented 2 years ago

Upon completion, @indomitableSwan or @marsella should write corresponding tickets in key-mgmt.