The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification

Christine Choppy
  • Fonction : Auteur
Anna Dedova
  • Fonction : Auteur
Sami Evangelista
  • Fonction : Auteur
Silien Hong
  • Fonction : Auteur
  • PersonId : 980152
Kaïs Klai
  • Fonction : Auteur
Laure Petrucci

Résumé

This paper presents the modelling process and first analysis results carried out within the NEOPPOD project. A protocol, NEO, has been designed in order to manage very large distributed databases such as those used for banking and e-government applications, and thus to handle sensitive data. Security of data is therefore a critical issue that must be ensured before the software can be released on the market. Our project aims at verifying essential properties of the protocol so as to guarantee such properties are satisfied. The model was designed by reverse-engineering from the source code, and then initial verification was performed. This modelling work requires choices of adequate abstraction levels both at the modelling and verification stages. In particular, the overall system is so large that the model should be carefully built in order to make verification possible without getting too far from the actual protocol implementation. This paper focuses on the modelling and initial validation of the election process launched at the system initialisation.

Dates et versions

hal-01292604 , version 1 (23-03-2016)

Identifiants

Citer

Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kaïs Klai, et al.. The {NEO} Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. 31st International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2010), Jun 2010, Braga, Portugal. pp.145-164, ⟨10.1007/978-3-642-13675-7_10⟩. ⟨hal-01292604⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More