DocumentCode :
2441563
Title :
Towards a test cases generation method for Security Policies
Author :
Abbassi, Ryma ; El Fatmi, Sihem Guemara
Author_Institution :
Sch. of Commun. Eng., Sup´´ Com, Tunis, Tunisia
fYear :
2009
fDate :
25-27 May 2009
Firstpage :
41
Lastpage :
46
Abstract :
Security Policy specification and testing constitute two fundamental challenges in the development of secure communication systems since they can ensure that a security policy is correctly enforced. Model checking techniques can be used to do such task. Given a system modeling and a test criterion, the model checker can generate a counterexample from which test cases can be deduced. To address the previous challenges, we propose in this paper, a framework to specify a security policy and to test its implementation. This framework is characterized as follows: (1) the security policy enforcement is specified through a new modeling language, S-Promela, (2) the test criteria are expressed by the use of a temporal logic LTL and (3) the test cases are generated by a classical model checking technique.
Keywords :
automatic test pattern generation; formal verification; simulation languages; telecommunication computing; telecommunication security; temporal logic; LTL; S- Promela; communication systems; model checking technique; modeling language; security policies; temporal logic; test cases generation method; test criterion; Automatic testing; Character generation; Communication system security; Communication systems; Electrostatic precipitators; Logic testing; Modeling; Protection; System testing; Model Checking; Security Policies; Specification; Test Cases; Test Purposes; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Telecommunications, 2009. ICT '09. International Conference on
Conference_Location :
Marrakech
Print_ISBN :
978-1-4244-2936-3
Electronic_ISBN :
978-1-4244-2937-0
Type :
conf
DOI :
10.1109/ICTEL.2009.5158616
Filename :
5158616
Link To Document :
بازگشت