EVERYDAY DISCOUNT OFFER
Buy 3 or more eligible titles and save 40%*—use code BUY3. 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.