Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Keywords : Authentication protocols
Image document

Formal Analysis of CWA 14890-1

Ashar Javed
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.314-335, ⟨10.1007/978-3-642-27257-8_20⟩
Conference papers hal-01596294v1
Image document

Verification of Mutual Authentication Protocol for MobInfoSec System

Olga Siedlecka-Lamch , Imed El Fray , Mirosław Kurkowski , Jerzy Pejaś
14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.461-474, ⟨10.1007/978-3-319-24369-6_38⟩
Conference papers hal-01444488v1