Emerging Technologies for Authorization and Authentication : Second International Workshop, Etaa 2019, Luxembourg City, Luxembourg, September 27, 2019,
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783030397487
- ISBN-10: 3030397483
- Publisher: Springer
- Publish Date: January 2020
- Dimensions: 9.21 x 6.14 x 0.42 inches
- Shipping Weight: 0.63 pounds
- Page Count: 189
Related Categories
