Test generation for network security rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3964 LNCS, Issue , 2006, Pages 341-356

  Darmaillacq, Vianney ^a   Fernandez, Jean Claude ^b   Groz, Roland ^a   Mounier, Laurent ^b   Richier, Jean Luc ^a  

^a LSR Laboratory   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; INFORMATION THEORY; SYSTEMS ENGINEERING; MOBILE SECURITY;

NETWORK SECURITY RULES; SECURITY POLICY; SINGLE MODALITY; KEY ISSUES; SET OF RULES; SYSTEM ADMINISTRATORS; TEST GENERATIONS;

SECURITY OF DATA; NETWORK SECURITY;

EID: 33745877300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754008_22     Document Type: Conference Paper

References (14)

1. A. Abou El Kalam, R. El Baida, P. Balbiani, S. Benferhat, F. Cuppens, Y. Deswarte, A. Miège, C. Saurel, and G. Trouessin. Organization Based Access Control. In IEEE 4th International Workshop on Policies for Distributed Systems and Networks, 2003.
2. S. Benferhat, R. E. Baida, and F. Cuppens. A Stratification-Based Approach for Handling Conflicts in Access Control. In 8th ACM Symposium on Access Control Models and Technologies, 2003.
3. F. Cuppens, N. Cuppens-Boulahia, and T. Sans. Nomad: A security model with non atomic actions and deadlines. In 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), pages 186-196, Aix-en-Provence, France, 2005.
4. F. Cuppens, N. Cuppens-Boulahia, T. Sans, and A. Miège. A formal approach to specify and deploy a network security policy. In Second Workshop on Formal Aspects in Security and Trust (FAST), 2004.
5. N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The Ponder Policy Specification Language. In International Workshop on Policies for Distributed Systems and Networks, 2001.
6. V. Darmaillacq, J.-C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, France, 2005.
7. V. Darmaillacq and N. Stouls. Développement formel d'un moniteur détectant les violations de politiques de sécurité de réseaux. In AFADL2006 - Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, March 2006.
8. ITU. Framework on formal methods in conformance testing. ITU-T Recommendation Z.500, ITU, 1997.
9. J. Lobo, R. Bhatia, and S. Naqvi. A Policy Description Language. In AAAI'99, 1999.
10. J.-C. Meyer, F. Dignum, and R. Wieringa. The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective. Technical Report UU-CS-1994-38, Utrecht University, 1994.
11. A. Pnueli. The Temporal Logic of Programs. In I. C. S. Press, editor, 18th Annual Symposium on Foundations of Computer Science, 1977.
12. D. Senn, D. Basin, and G. Caronni. Firewall Conformance Testing. In Test Com 2005, 17th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems, Montréal, LNCS 3502, June 2005.
13. A. Virmani, J. Lobo, and M. Kohli. Netmon: Network Management for the SARAS Softswitch. In IEEE/IFIP Network Operations and Management Symposium, 2000.
14. G. H. von Wright. Deontic Logic. Mind, 60:1-15, 1951.