Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Aspects of Security and Trust

  • Kartonierter Einband
  • 277 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of S... Weiterlesen
CHF 72.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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 ID issues; information flow analysis; language-based security; security and trust aspects of ubiquitous computing; validation/analysis tools; web service security/trust/privacy; grid security; security risk assessment; and case studies.

Inhalt
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 ID issues.- information flow analysis.- language-based security.- security and trust aspects of ubiquitous computing.- validation/analysis tools.- web service security/trust/privacy.- grid security.- security risk assessment.- case studies.

Produktinformationen

Titel: Formal Aspects of Security and Trust
Untertitel: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Editor:
EAN: 9783642294198
ISBN: 3642294197
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Allgemein & Lexika
Anzahl Seiten: 277
Gewicht: 441g
Größe: H237mm x B154mm x T20mm
Jahr: 2012

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"