Hmm, in Cryptography, the names Alice, Bob, etc. are used. You set up the situation, and then use the names instead of "the sender" etc.

Without good succinct roll names, perhaps a sentence to introduce and explain the role of each Proper Name would make for a clear document.