Publisher's Synopsis
This text discusses all aspects of secure computation and communication, focusing especially on the mathematical foundations on which programming languages and communication systems are built. It thus considers the role of semantics in system performance and responsiveness.