Using CSP to detect errors in the TMN protocol
Main Authors: | Roscoe, A, Lowe, G |
---|---|
格式: | Report |
出版: |
University of Leicester
1996
|
相似書籍
-
Using CSP to Detect Errors in the TMN Protocol
由: Lowe, G, et al.
出版: (1997) -
Developing and verifying protocols in CSP
由: Roscoe, A
出版: (1993) -
Analysing Security Protocols using CSP
由: Lowe, G
出版: (2011) -
Internalising Agents in CSP Protocol Models
由: Roscoe, A, et al.
出版: (2002) -
Modelling and verifying key−exchange protocols using CSP and FDR
由: Roscoe, A
出版: (1995)