boltlabs-inc / key-mgmt-spec

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

Make sure imported keys have correct context #134

Closed marsella closed 1 year ago

marsella commented 1 year ago

In fa63b6a, we added a flow to import a secret to the key server without storing it locally. However, these keys don't have explicit context that describes them as being imported (as opposed to "client-generated").

Add this context.