Security Protocols II: Syntax and Operational Semantics (Part 1)
Security Protocols II: Syntax and Operational Semantics (Part 1)
Security Protocols II: Syntax and Operational Semantics (Part 1)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
AnB <strong>Syntax</strong>Towards to meaning of an AnB specificationSplit a message sequence chart into single roles (aka chords, symbolicstr<strong>and</strong>s, role scripts):msc NSPK Amsc NSPK BAB{NA, A} pk(B){NA, A} pk(B){NA, NB} pk(A){NA, NB} pk(A){NB} pk(B){NB} pk(B)Sebastian Mödersheim FMSEC Module 3, v.2 5.10.2009 8 of 36