Internalising agents in CSP protocol models
| Author(s) : | A. W. Roscoe P. J. Broadfoot, |
| Publisher : | N/A |
| Publication Date : | 2002 |
| ISSN : | N/A |
| Abstract : | We carry forward the work described in our previous papers [2, 11, 9] on the application of data independence to the model checking of cryptographic protocols using CSP [10] and FDR [4], often via extensions to Casper [5]. Since FDR can only check a finite instance of a problem, |