boltlabs-inc / key-mgmt-spec

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

Describe remote storage failure cases #43

Open marsella opened 2 years ago

marsella commented 2 years ago

When the local client generates a key and stores it remotely, the protocol ends with the key server confirming (ACK) that storage succeeded.

We need to define the behavior in a failing scenario