search

boltlabs-inc / key-mgmt-spec

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

adjust retrieve so that key server flags key #115

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

The key server should flag any retrieved keys as having been viewed by the client (and therefore potentially exported from the system).

indomitableSwan commented 2 years ago

This issue was closed by PR #119.