Wordt geladen...
Formal aspects in security and trust fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
Strategic Games on Defense Trees -- Timed Calculus of Cryptographic Communication -- A Semantic Paradigm for Component-Based Specification Integrating a Notion of Security Risk -- Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security -- Measuring Anonymity with Rela...
Bewaard in:
| Hoofdauteurs: | , |
|---|---|
| Formaat: | Livro |
| Taal: | Inglês |
| Gepubliceerd in: |
Springer,
2007
|
| Reeks: | Lecture notes in computer science |
| Onderwerpen: | |
| Online toegang: | https://minerva.ufrj.br/F/?func=direct&doc_number=000909623&local_base=UFR01 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|