Publications via DBLP (Trier University).
The Tata book: it is now outdated, but contains still interesting material. Who wants to write the new Tata?
Verification of access control protocol using the ProVerif tool .