As a first step towards a cleaner spec, that can be more closely matched to e.g. the ProVerif model, I've factored out the transformations that need to happen to pairs of identifiers/pseudonyms (I've introduced the term handle here) and data values, plain or encrypted.
At the moment it's a bit awkward because the table data structures don't know about these sorts of pairs yet, but that should be fixed together with #18 .
As a first step towards a cleaner spec, that can be more closely matched to e.g. the ProVerif model, I've factored out the transformations that need to happen to pairs of identifiers/pseudonyms (I've introduced the term
handlehere) and data values, plain or encrypted.At the moment it's a bit awkward because the table data structures don't know about these sorts of pairs yet, but that should be fixed together with #18 .