Formal Aspects in Security and Trust

Know about the book -

Formal Aspects in Security and Trust is written by Theo Dimitrakos and published by Springer. It's available with International Standard Book Number or ISBN identification 3540752277 (ISBN 10) and 9783540752271 (ISBN 13).

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.