Output details
11 - Computer Science and Informatics
Middlesex University
Return to search
Output 0 of 0 in the submission
Output title
A Formally Verified Device Authentication Protocol Using Casper/FDR
Type
E - Conference contribution
Name of conference/published proceedings
Trust, Security and Privacy in Computing and Communications (TrustCom), 2012 IEEE 11th International Conference on
Volume number
-
Issue number
-
First page of article
1293
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
4
Additional information
<06> This paper proposed, analysed and verified a novel device authentication protocol to support users and their trust relationships with devices especially in the context of secure transactions. The protocol was modelled, analysed and verified against a number of desired security properties using formal methods approach based on Casper/FDR compiler (TrustCom 2012). The work formed core of M Aiash’s successfully completed PhD work and has resulted in follow on publications on a formally verified AKA Protocol (EURASIP 2012).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
