boltlabs-inc / key-mgmt-spec

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

Add retrieve details #50

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

This PR closes #12.

Things it doesn't address, but came up as questions during drafting:

marsella commented 2 years ago

Second bullet is a good point. In phase 0, we included a "get all key IDs" function that didn't make it into this version yet. Would "a list of the user's associated data" include anything other than key IDs?

indomitableSwan commented 2 years ago

Second bullet is a good point. In phase 0, we included a "get all key IDs" function that didn't make it into this version yet. Would "a list of the user's associated data" include anything other than key IDs?

See #53

indomitableSwan commented 2 years ago

There should probably be implementation guidance around the handlings of master_key added in...