Printer Friendly

Computer Security Foundations Workshop: Proceedings.


Computer security foundations workshop; proceedings.

International Computer Security Foundations Workshop (19th: 2006: Venice, Italy)

Computer Society Press


335 pages




In these proceedings of the workshop held July 2006, contributors address the ever more complex issues of computer security from the ground up. Their papers range from the theoretical to technique and real practice, with topics including information flow (electronic voting, temporal logic characterization of observational determinism and encoding), games, plans and transformations (attack mutation algorithms, secure service orchestration and games for controls), access control (hierarchical access, secrecy by typing and file access control and policy analysis), security protocol analysis (cryptography and resolve-impossibility for a contract-signing protocol), language, interaction and change (interactive programs and decentralized robustness), authorization and trust, and protocols and cryptographic foundations.

([c]20062005 Book News, Inc., Portland, OR)
COPYRIGHT 2006 Book News, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2006 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Publication:SciTech Book News
Article Type:Book Review
Date:Sep 1, 2006
Previous Article:Medical Information Visualisation: Biomedical Visualisation; Proceedings.
Next Article:Emergency Department Compliance Manual, (2006 ed).

Related Articles
Computer security foundations workshop; proceedings.
Bayesian inference and maximum entropy methods in science and engineering; proceedings.
Seismic performance and simulation of pile foundations in liquefield and laterally spreading ground; proceedings.
Information Assurance: Proceedings.
Technology for Education in Developing Countries: Proceedings.
Networking, Architecture, and Storages: Proceedings.
Database and expert systems applications; proceedings.
Fault diagnosis and tolerance in cryptography; proceedings.
Future generation communication and networking; proceedings; 2v.
Grid and pervasive computing; proceedings.

Terms of use | Privacy policy | Copyright © 2019 Farlex, Inc. | Feedback | For webmasters