On the reliability of identifying design moves in protocol analysis

On the reliability of identifying design moves in protocol analysis | Litlas