Formal Aspects in Security and Trust
| Author | : Theo Dimitrakos |
| Publisher | : Springer |
| Total Pages | : 267 |
| Release | : 2006-02-27 |
| ISBN-10 | : 9783540326298 |
| ISBN-13 | : 3540326294 |
| Rating | : 4/5 (294 Downloads) |
Book Synopsis Formal Aspects in Security and Trust by : Theo Dimitrakos
Download or read book Formal Aspects in Security and Trust written by Theo Dimitrakos and published by Springer. This book was released on 2006-02-27 with total page 267 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of one invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, and many other topics.
