Oddly, I do work reasoning about security protocols and the notations in this still seem opaque. The trail of bits article has some standard notation in it in t

Oddly, I do work reasoning about security protocols and the notations in this still seem opaque. The trail of bits article has some standard notation in it in their cartoons, but both seem to jump between levels of abstraction. Does anyone pay to have these things described clearly?