Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Aspects of Security and Trust
. Ed(S): Barthe, Gilles; Datta, Anupam; Etalle, Sandro
€ 81.80
FREE Delivery in Ireland
Description for Formal Aspects of Security and Trust
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. Editor(s): Barthe, Gilles; Datta, Anupam; Etalle, Sandro. Series: Lecture Notes in Computer Science / Security and Cryptology. Num Pages: 279 pages, 51 black & white illustrations, biography. BIC Classification: UMZ; UR. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 431.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management systems; trust-based reasoning; digital assets protection; data protection; privacy and ... Read more
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on security and trust policy models; security protocol design and analysis; formal models of trust and reputation; logics for security and trust; distributed trust management systems; trust-based reasoning; digital assets protection; data protection; privacy and ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
279
Condition
New
Series
Lecture Notes in Computer Science / Security and Cryptology
Number of Pages
279
Place of Publication
Berlin, Germany
ISBN
9783642294198
SKU
V9783642294198
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Formal Aspects of Security and Trust