Verification of Mutual Authentication Protocol for MobInfoSec System - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Verification of Mutual Authentication Protocol for MobInfoSec System

Résumé

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.
Fichier principal
Vignette du fichier
978-3-319-24369-6_38_Chapter.pdf (169.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01444488 , version 1 (24-01-2017)

Licence

Paternité

Identifiants

Citer

Olga Siedlecka-Lamch, Imed El 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⟩
59 Consultations
155 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More