Linked e-resources

Details

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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export