E-Book, Englisch, 189 Seiten, eBook
Reihe: Security and Cryptology
Saracino / Mori Emerging Technologies for Authorization and Authentication
Erscheinungsjahr 2020
ISBN: 978-3-030-39749-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings
E-Book, Englisch, 189 Seiten, eBook
Reihe: Security and Cryptology
ISBN: 978-3-030-39749-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.