search

boltlabs-inc / key-mgmt-spec

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

fixed #23 #24

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Fixes #23. In adding session details, realized some additional clarity was required around local actions that don't require a session with the server, so adjusted wording.