Using CSP to detect errors in the TMN protocol
主要な著者: | Roscoe, A, Lowe, G |
---|---|
フォーマット: | Report |
出版事項: |
University of Leicester
1996
|
類似資料
-
Using CSP to Detect Errors in the TMN Protocol
著者:: Lowe, G, 等
出版事項: (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, 等
出版事項: (2002) -
Modelling and verifying key−exchange protocols using CSP and FDR
著者:: Roscoe, A
出版事項: (1995)