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

  title={The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification},
  author={C. Choppy and A. Dedova and Sami Evangelista and Silien Hong and K. Klai and L. Petrucci},
  booktitle={Petri Nets},
  • C. Choppy, A. Dedova, +3 authors L. Petrucci
  • Published in Petri Nets 2010
  • Computer Science
  • 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… CONTINUE READING
    12 Citations
    Modelling and Formal Verification of the NEO Protocol
    • 2
    • PDF
    Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
    • 29
    Code Generation from Pragmatics Annotated Coloured Petri Nets
    • 1
    • PDF
    Web Report on the Model Checking Contest @ Petri Net 2013
    • 9
    • PDF
    Model Checking Contest @ Petri Nets, Report on the 2013 edition
    • 9
    • PDF
    Raw Report on the Model Checking Contest at Petri Nets 2012
    • 13
    • PDF
    Transactions on Petri Nets and Other Models of Concurrency VIII
    • 9
    • Highly Influenced
    • PDF
    Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets
    • 21
    • PDF
    From Code to Coloured Petri Nets: Modelling Guidelines
    • 6
    • PDF


    Semantic-Based Development of Service-Oriented Systems
    • 192
    • PDF
    A Stubborn Attack On State Explosion
    • 288
    • PDF
    New Efficient Petri Nets Reductions for Parallel Programs Verification
    • 41
    • PDF
    Modular construction of the symbolic observation graph
    • K. Klai, L. Petrucci
    • Computer Science
    • 2008 8th International Conference on Application of Concurrency to System Design
    • 2008
    • 28
    • PDF
    High Level Petri Nets Analysis with Helena
    • 36
    • PDF
    Advances in Petri Nets 1990
    • G. Rozenberg
    • Computer Science
    • Lecture Notes in Computer Science
    • 1989
    • 114
    A Symbolic Reachability Graph for Coloured Petri Nets
    • 93
    • PDF
    Hierarchies in coloured Petri nets
    • 304