Verification of Mutual Authentication Protocol for MobInfoSec System

Abstract : This paper presents a detailed analysis of the mutual authentication protocol developed especially for the system MobInfoSec - for a mobile device to share and protect classified information. MobInfoSec uses fine-grained access rules described by general access structures. In this paper we describe the architecture and functioning of the system, and the requirements imposed on cryptographic authentication protocols, resulting from both: standards, the collection of good practices, as well as directly from the vision of the system. The article contains a description of the protocol’s parts and formal analysis of its security.
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-01444488
Contributor : Hal Ifip <>
Submitted on : Tuesday, January 24, 2017 - 10:41:17 AM
Last modification on : Wednesday, January 25, 2017 - 1:04:03 AM
Long-term archiving on : Tuesday, April 25, 2017 - 6:22:55 PM

File

978-3-319-24369-6_38_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Olga Siedlecka-Lamch, Imed Fray, Mirosław Kurkowski, Jerzy Pejaś. Verification of Mutual Authentication Protocol for MobInfoSec System. 14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.461-474, ⟨10.1007/978-3-319-24369-6_38⟩. ⟨hal-01444488⟩

Share

Metrics

Record views

68

Files downloads

159