Skip to main content

Modelling unbounded parallel sessions of security protocols in CSP

A. W. Roscoe and E. Kleiner

Year
2006