fix user identifiers - Githubissues

boltlabs-inc / key-mgmt-spec

Formal specification for the key management project

MIT License

3 stars 2 forks source link

Closed indomitableSwan closed 2 years ago

indomitableSwan commented 2 years ago

Fixes #52.

This involved some cleanup of session descriptions.

This is a draft PR, because I didn't specify how to generate the user identifiers. Leaving this for @marsella to add in.

indomitableSwan commented 2 years ago

LGTM!