Security policy validation using temporal executable specifications

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2007, Pages 2848-2853

  Krichene, Jihene ^a   Hamdi, Mohamed ^a   Boudriga, Noureddine ^a  

^a UNIVERSITY OF CARTHAGE   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; INFORMATION SYSTEMS; KNOWLEDGE REPRESENTATION; SEMANTICS; VERIFICATION;

ALGEBRAIC REPRESENTATION; SECURITY POLICY VALIDATION;

SECURITY OF DATA;

EID: 40949093510     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2007.4413742     Document Type: Conference Paper

References (13)

1. C. Ghezzi, M. Jazayeri and D. Mandrioli, "Fundamentals of Software Engineering," Prentice Hall, 1991.
2. D. Drusinsky, J. L. Fobes, "Executable Specifications: Language and Applications," CROSSTALK, The journal of Defense Software Engineering, Vol. 17, No. 9, pp. 15-18, 2004.
3. N. E. Fuchs, "Specifications Are Preferably Executable," Software Engineering Journal, 1992.
4. M. Hamdi, N. Boudriga, Algebraic Specification of Network Risk Management, ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, 2003.
5. M. Hamdi, J. Krichène, N. Boudriga , "Algebraic Test Case Generation of Security Policies in Communication Networks," Proceedings of the 10th Nordic Workshop on Secure IT Systems, Tartu, Estonia, 2005.
6. G. J. Holzmann, "Design and Validation of Computer Protocols," Prentice Hall, 1990.
7. +," Computing and Informatics Journal. Vol. 22, No. 4, 2003.
8. N. Damianou, N. Dulay, E. Lupu, M. Sloman, "The Ponder Policy Specification Language," Policy 2001: Workshop on Policies for Distributed Systems and Networks, pp. 18-39, 2001.
9. N. Dulay, E. Lupu, M. Sloman, N. Damianou, "A Policy Deployment Model for the Ponder Language," IEEE/IFIP International Symposium on Integrated Network Management, Seattle, USA, 2001.
10. J. Dai, J. Alves-Foss, "Logic based Authorization Policy Engineering," Proc. 6th World Multiconference on Systemics, Cybernetics, and Informatics. July 2002, pp. 230-238.
11. S. Jajodia, P. Samarati, V.S. Subrahmanian, "A Logical Language for Expressing Authorizations," IEEE Symposium on Security and Privacy, Oakland, CA, USA, 1997.
12. S. Rekhis, N. Boudriga, "A formal logic-based language and an automated verification tool for computer forensic investigation," First International Track on Computer-aided Law and Advanced Technologies in association with ACM Symposium of Applied Computing, 2005.
13. P. A. Lindsay, "Specification and Validation of a Network Security Policy Model," Software Verification Research Centre, The University of Queensland, Technical Report No. 97-05, 1997.