Fiche du document
24 septembre 2015
- handle: 10670/1.22rt2p
- hal: hal-01444488
- doi: 10.1007/978-3-319-24369-6_38
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-24369-6_38
http://creativecommons.org/licenses/by/ , info:eu-repo/semantics/OpenAccess
Mots-clés
Authentication protocols One-to-many protocol Mobile device Sensitive information Secure communication channelSujets proches
Authentication--Law and legislationCiter ce document
Olga Siedlecka-Lamch et al., « Verification of Mutual Authentication Protocol for MobInfoSec System », HAL-SHS : sciences de l'information, de la communication et des bibliothèques, ID : 10.1007/978-3-319-24369-6_38
Métriques
Partage / Export
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.