Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. Modelling unbounded parallel sessions of security protocols in CSP

Modelling unbounded parallel sessions of security protocols in CSP

A. W. Roscoe and E. Kleiner

Year
2006

Links

See Also

Back to Top