Formal Aspects in Security and Trust

Name: Formal Aspects in Security and Trust
Brand: Springer, Berlin
SKU: 9783642124587
Price: 276.48 RON
Availability: InStock

6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Autor: Pierpaolo Degano, Joshua D. Guttman

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.48 lei

This book constitutes the thoroughly refereed post-workshop proceedings§of the 6th International Wor...

Informații despre carte

Autor

Pierpaolo Degano, Joshua D. Guttman

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2010

Pagini

279

EAN

9783642124587

ISBN

3642124585

Enbook ID

01655656

Editura

Springer, Berlin

Greutate

456

Dimensiuni

155 x 234 x 15

Descriere completă

This book constitutes the thoroughly refereed post-workshop proceedings§of the 6th International Workshop on Formal Aspects in Security and§Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven,§The Netherlands, in November 2009 as an event of the Formal Methods§Week, FMweek 2009.§The 18 revised papers presented together with an abstract of the invited§lecture were carefully reviewed and selected from 50 submissions. The§papers focus of formal aspects in 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 in ubiquitous§computing, validation/analysis tools, Web service§security/trust/privacy, grid security, security risk assessment, and§case studies.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Aspects in Security and Trust

6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și