Specification of traces in the security protocols analysis
Pavel Očenášek · Information Technology Interfaces · 2011
The paper demonstrates the security protocol analysis with the step-by-step approach. The analysis is performed from each party's point of view and is followed with the operational analysis of message exchanges.