Formal Aspects in Security and Trust: Fourth International Workshop, Fast 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Contributor(s): Dimitrakos, Theo (Editor), Martinelli, Fabio (Editor), Ryan, Peter Y a (Editor), Schneider, Steve (Editor)

ISBN: 9783540752264

Publisher: Springer

Binding Types:

Paperback

$54.99

Digicover (1-4 copies)

$67.94 (Final Price)

Readerbound (5-99 copies)

$66.74 (100+ copies: $65.99)

List/retail price:

$54.99

Pub Date: September 17, 2007

Dewey: 005.8

LCCN: 2007936000

Lexile Code: 0000

Features: Bibliography, Illustrated, Index

Target Age Group: NA to NA

Physical Info: 0.62" H x 9.21" L x 6.14" W ( 0.93 lbs) 288 pages

BISAC Categories:

Series: Lecture Notes in Computer Science

Descriptions, Reviews, etc.

Description:

This book constitutes the thoroughly refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. The 18 revised papers presented were carefully reviewed and selected from 47 submissions. The papers include focus of formal aspects in security and trust policy models, security protocol design and analysis, and formal models of trust and reputation.