Embedding agents within the intruder to detect parallel attacks
Philippa Broadfoot, Andrew William Roscoe · Journal of Computer Security · 2004
We carry forward the work described in our previous papers [5,18,20] on the application of data independence to the model checking of security protocols using CSP [19] and FDR [10]. In particular, we showed how techniques based on data independence [