Now Publishers - IEEE Multiple Resolution Landing Page

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerifBlanchet,BrunoFoundations and TrendsĀ® in Privacy and Security(2016), 1 (1-2):1http://dx.doi.org/10.1561/3300000004

The monograph you are looking for is available from Now Publishers as a journal article or from the IEEE as an ebook. Click on the logo below to take you to the correct version for your access.

Now Logo IEEE Logo