EVERYDAY DISCOUNT OFFER
Buy 2 or more eligible titles and save 35%*—use code BUY2. Shop now.
Bill Roscoe is Professor of Computing Science at the University of Oxford. He is one of the principal developers of CSP and of its application to cryptoprotocols and other aspects of computer security.