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.
Type de document :
Communication dans un congrès
Khalid Saeed; Władysław Homenda. 14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. Springer, Lecture Notes in Computer Science, LNCS-9339, pp.461-474, 2015, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-24369-6_38〉
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01444488
Contributeur : Hal Ifip <>
Soumis le : mardi 24 janvier 2017 - 10:41:17
Dernière modification le : mercredi 25 janvier 2017 - 01:04:03
Document(s) archivé(s) le : mardi 25 avril 2017 - 18:22:55

Fichier

978-3-319-24369-6_38_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Olga Siedlecka-Lamch, Imed Fray, Mirosław Kurkowski, Jerzy Pejaś. Verification of Mutual Authentication Protocol for MobInfoSec System. Khalid Saeed; Władysław Homenda. 14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. Springer, Lecture Notes in Computer Science, LNCS-9339, pp.461-474, 2015, Computer Information Systems and Industrial Management. 〈10.1007/978-3-319-24369-6_38〉. 〈hal-01444488〉

Partager

Métriques

Consultations de la notice

26

Téléchargements de fichiers

10