Emerging Technologies for Authorization and Authentication: Second International Workshop, ETAA 2019
Versandkostenfreie Lieferung!
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10397965
Beschreibung
Logics to reason formally about trust computation and manipulation.- An Authorization framework for Cooperate Intelligent Transport Systems.- A Framework for the Validation of Access Control Systems.- The Structure and Agency Policy Language (SAPL) for Attribute Stream-Based Access Control (ASBAC).- Security Requirements for Store-on-Client and Verify-on-Server Secure Biometric Authentication.- Reflexive Memory Authenticator: a proposal for effortless renewable biometrics.- Collaborative Authentication using Threshold Cryptography.- MuFASA: a Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols.- A Risk-driven Model to Minimize the Effects of Human Factors on Smart Devices.- A Formal Security Analysis of the p p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted Email.
Eigenschaften
Breite: | 158 |
Gewicht: | 312 g |
Höhe: | 235 |
Länge: | 14 |
Seiten: | 189 |
Sprachen: | Englisch |
Autor: | Andrea Saracino, Paolo Mori |