Paper Info
Title
A Model for Specification and Validation of a Trust Management Based Security Scheme in a MANET Environment
Abstract
Recently, we proposed a reputation based trust management scheme built upon a Mobility-based Clustering Approach (MCA) organizing Mobile Ad hoc Network MANET and detecting and isolating malicious behaviors. The whole scheme was called TMCA (Trust based MCA) and was extended in a second time with a delegation process resulting a proposition baptized DTMCA (Delegation TMCA based process). However, deploying such scheme is error prone and it appears necessary to validate it before its real implementation. In fact, scheme specification and validation constitute two fundamental challenges in the development of secure communication systems ensuring that the scheme is correctly enforced and complete. Hence, the main contribution of this paper concerns a validation framework for DTMCA scheme. The first step towards validation process is its formal specification. This is our first concern in this paper: a formal specification language called SCMSL (Secured Clustered MANET Specification Language) defined through a syntax based on authorization and obligation rules and a clear semantics. The second part of this paper proves the two major characteristics that must be guaranteed in such case: consistency and completeness. Consistency is proved by showing that there is no conflict in our scheme whereas completeness is proved by assessing that all potential situations are handled. The proof of consistency and completeness is made using automated systems through the definition of adequate algorithms.
Year
DOI
Venue
2015
10.1109/ARES.2015.92
2015 10th International Conference on Availability, Reliability and Security
Keywords
Field
DocType
MANET,Specification,Validation,Consistency,Completeness
Specification language,Mobile ad hoc network,Computer science,Computer security,Formal specification,Delegation,Cluster analysis,Completeness (statistics),Secure communication,Semantics
Conference
Citations 
PageRank 
References 
0
0.34
3
Authors
3
Name
Order
Citations
PageRank
Aida Ben Chehida Douss113.39
Ryma Abassi22410.45
Sihem Guemara El Fatmi34013.24