Foundations of Secure Computation (NATO Asi Series: Series F: Computer & Systems Sciences, Band 175) - Hardcover

9781586030155: Foundations of Secure Computation (NATO Asi Series: Series F: Computer & Systems Sciences, Band 175)

Hardcover

ISBN 10: 1586030159 ISBN 13: 9781586030155

Verlag: IOS Press, 2000

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 66,28

1 Neu

Von EUR 214,91

The final quarter of the 20th century has seen the establishment of a global computational infrastructure. This and the advent of programming languages such as Java, supporting mobile distributed computing, has posed a significant challenge to computer sciences. The infrastructure can support commerce, medicine and government, but only if communications and computing can be secured against catastrophic failure and malicious interference. 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 considers the role of semantics in system performance and responsiveness, and covers constructive type theory, work on linear logic, game semantics and feasible mathematics.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

In recent years a global computational infrastructure has been established. This and the advent of programming languages like Java supporting mobile distributed computing has posed a great challenge to the computer science community. The global infrastructure will support commerce, medicine, and government, but it can only do so safely if communication and computing can be secured against catastrophic failure and malicious interference. Several authoritative studies have shown that the global software infrastructure is now at risk and the risk is increasing over time. Additionally the ability to apply software solutions to many pressing problems is blocked by collective inability to produce software in which users and builders have a high degree of confidence. The capability to secure the infrastructure rests on mathematical foundations for programming languages and communications systems. The work on semantics is thus an essential part of the summer school. There is a need to extend the semantics to take into account system performance and responsiveness. Besides constructive type theory, work on linear logic, game semantics, and feasible mathematics are critical disciplines.