Sunderland Repository records the research produced by the University of Sunderland including practice-based research and theses.
You seem to be attempting to access an item that has been removed from the repository.
There is an alternative version of the item you are trying to access:
Modesti, Paolo
(2016)
AnBx: Automatic Generation and Verification of Security Protocols Implementations.
In: 8th International Symposium, FPS 2015, 26-28 Oct 2015, Clermont-Ferrand, France.