Computer Security Foundations Workshop: Proceedings.
Computer security foundations workshop; proceedings.
International Computer Security Foundations Workshop (19th: 2006: Venice, Italy)
Computer Society Press
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)
|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).|