CSP files

On this page, you can download CSP files that illustrate the technique we discussed in the paper entitled \"Model checking cryptographic protocols subject to combinatorial attack\" of A.W. Roscoe, Toby Smyth and Long Nguyen at the Oxford University Department of Computer Science.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Roscoe, T, Nguyen, L
Μορφή: Journal article
Έκδοση: 2011