MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols (Englisch)
- Neue Suche nach: Sinigaglia, Federico
- Neue Suche nach: Carbone, Roberto
- Neue Suche nach: Costa, Gabriele
- Neue Suche nach: Ranise, Silvio
- Neue Suche nach: Sinigaglia, Federico
- Neue Suche nach: Carbone, Roberto
- Neue Suche nach: Costa, Gabriele
- Neue Suche nach: Ranise, Silvio
In:
Emerging technologies for authorization and authentication
; 138-155
;
2020
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication Protocols
-
Beteiligte:Sinigaglia, Federico ( Autor:in ) / Carbone, Roberto ( Autor:in ) / Costa, Gabriele ( Autor:in ) / Ranise, Silvio ( Autor:in )
-
Kongress:ETAA ; 2. ; 2019 ; Luxemburg
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2020
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.38
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.38 Computersicherheit -
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Logics to Reason Formally About Trust Computation and ManipulationAldini, Alessandro / Tagliaferri, Mirko et al. | 2020
- 16
-
An Authorization Framework for Cooperative Intelligent Transport SystemsRavidas, Sowmya / Karkhanis, Priyanka / Dajsuren, Yanja / Zannone, Nicola et al. | 2020
- 35
-
A Framework for the Validation of Access Control SystemsDaoudagh, Said / Lonetti, Francesca / Marchetti, Eda et al. | 2020
- 52
-
The Structure and Agency Policy Language (SAPL) for Attribute Stream-Based Access Control (ASBAC)Heutelbeck, Dominik et al. | 2020
- 69
-
NoCry: No More Secure Encryption Keys for Cryptographic RansomwareGenç, Ziya Alper / Lenzini, Gabriele / Ryan, Peter Y. A. et al. | 2020
- 86
-
Security Requirements for Store-on-Client and Verify-on-Server Secure Biometric AuthenticationHigo, Haruna / Isshiki, Toshiyuki / Nara, Masahiro / Obana, Satoshi / Okamura, Toshihiko / Tamiya, Hiroto et al. | 2020
- 104
-
Reflexive Memory Authenticator: A Proposal for Effortless Renewable BiometricsBlanchard, Nicola K. / Kachanovich, Siargey / Selker, Ted / Waligorski, Florentin et al. | 2020
- 122
-
Collaborative Authentication Using Threshold CryptographyAbidin, Aysajan / Aly, Abdelrahaman / Mustafa, Mustafa A. et al. | 2020
- 138
-
MuFASA: A Tool for High-level Specification and Analysis of Multi-factor Authentication ProtocolsSinigaglia, Federico / Carbone, Roberto / Costa, Gabriele / Ranise, Silvio et al. | 2020
- 156
-
A Risk-Driven Model to Minimize the Effects of Human Factors on Smart DevicesGupta, Sandeep / Buriro, Attaullah / Crispo, Bruno et al. | 2020
- 171
-
A Formal Security Analysis of the p≡p Authentication Protocol for Decentralized Key Distribution and End-to-End Encrypted EmailSandoval, Itzel Vazquez / Lenzini, Gabriele et al. | 2020