Computer security foundations; proceedings.

9780769537122

Computer security foundations; proceedings.

International Computer Security Foundations Symposium (22d: 2009: Port Jefferson, NY)

Computer Society Press

2009

336 pages

$187.00

Paperback

QA76.9

The 22nd Computer Security Foundations Symposium of the Institute of Electrical and Electronics Engineers, held in July of 2009, conducted sessions on protocol design, information flow, web security, protocol analysis, protocols, authorization, and verification methods. This volume presents 22 papers drawn from those sessions, addressing such topics as minimal message complexity of asynchronous multi-party contract signing, tight enforcement of information-release policies for dynamic languages, securing timeout instructions in web applications, cryptographic protocol synthesis and verification for multiparty sessions, specification and analysis of dynamic authorization policies, policy compliance in collaborative systems, expressive power of definitive clauses for verifying authenticity, and universally composable symmetric encryption.

([c]2009 Book News, Inc., Portland, OR)