Cargando…
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Comput...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Edición: | 1st ed. 2009. |
| Colección: | Security and Cryptology ;
5491 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-01465-9 | ||
| 003 | DE-He213 | ||
| 005 | 20220114232529.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2009 gw | s |||| 0|eng d | ||
| 020 | |a 9783642014659 |9 978-3-642-01465-9 | ||
| 024 | 7 | |a 10.1007/978-3-642-01465-9 |2 doi | |
| 050 | 4 | |a QA76.9.A25 | |
| 072 | 7 | |a UR |2 bicssc | |
| 072 | 7 | |a UTN |2 bicssc | |
| 072 | 7 | |a COM053000 |2 bisacsh | |
| 072 | 7 | |a UR |2 thema | |
| 072 | 7 | |a UTN |2 thema | |
| 082 | 0 | 4 | |a 005.8 |2 23 |
| 245 | 1 | 0 | |a Formal Aspects in Security and Trust |h [electronic resource] : |b 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers / |c edited by Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli. |
| 250 | |a 1st ed. 2009. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 2009. | |
| 300 | |a X, 331 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Security and Cryptology ; |v 5491 | |
| 505 | 0 | |a Formal Certification of ElGamal Encryption -- Secure Information Flow as a Safety Property -- Who Can Declassify? -- Non-Interference for Deterministic Interactive Programs -- Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels -- Causality and Accountability -- Dynamics, Robustness and Fragility of Trust -- Trust within the Context of Organizations: A Formal Approach -- Know What You Trust -- Privacy-Friendly Electronic Traffic Pricing via Commits -- A Formal Privacy Management Framework -- Parameterised Anonymity -- Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder -- Petri Net Security Checker: Structural Non-interference at Work -- Verifying Multi-party Authentication Using Rank Functions and PVS -- The Append-Only Web Bulletin Board -- Secure Broadcast Ambients -- Extending Anticipation Games with Location, Penalty and Timeline -- Do You Really Mean What You Actually Enforced? -- Delegating Privileges over Finite Resources: A Quota Based Delegation Approach -- Access Control and Information Flow in Transactional Memory. | |
| 520 | |a This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies. | ||
| 650 | 0 | |a Data protection. | |
| 650 | 0 | |a Computer networks . | |
| 650 | 0 | |a Cryptography. | |
| 650 | 0 | |a Data encryption (Computer science). | |
| 650 | 0 | |a Computers and civilization. | |
| 650 | 0 | |a Electronic data processing-Management. | |
| 650 | 0 | |a Information storage and retrieval systems. | |
| 650 | 1 | 4 | |a Data and Information Security. |
| 650 | 2 | 4 | |a Computer Communication Networks. |
| 650 | 2 | 4 | |a Cryptology. |
| 650 | 2 | 4 | |a Computers and Society. |
| 650 | 2 | 4 | |a IT Operations. |
| 650 | 2 | 4 | |a Information Storage and Retrieval. |
| 700 | 1 | |a Degano, Pierpaolo. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Guttman, Joshua D. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Martinelli, Fabio. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642014666 |
| 776 | 0 | 8 | |i Printed edition: |z 9783642014642 |
| 830 | 0 | |a Security and Cryptology ; |v 5491 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-642-01465-9 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||