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)