Linked e-resources
Details
Table of Contents
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.
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.