Test generation from security policies specified in Or-BAC

Proceedings - International Computer Software and Applications Conference

Volumn 2, Issue , 2007, Pages 255-260

  Li, Keqin ^a   Mounier, Laurent ^b   Groz, Roland ^a  

^a UNIV GRENOBLE ALPES   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; DATA STRUCTURES; INFORMATION SYSTEMS; LOGIC PROGRAMMING; REQUIREMENTS ENGINEERING;

MODEL BASED TESTING TECHNIQUES; SECURITY POLICY TESTING; TEST CASE GENERATION;

SECURITY OF DATA;

EID: 37349056999     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2007.210     Document Type: Conference Paper

References (10)

1. A. Hartman, "A Model Based Test Generation Tools Survey", Technical Report, AGEDIS Consortium, 2002. URL: http://www.agedis.de/downloads. shtml.
2. C. Jard and T. Jéron, "TGV: theory, principles and algorithms," International Journal on Software Tools for Technical Transfer, Vol. 7, No. 4, 2005, pp. 297 - 315.
3. 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," IEEE 4th International Workshop on Policies for Distributed Systems and Networks (Policy 2003), Lake Come, Italy, June 4-6, 2003.
4. M. Bozga, S. Graf, Ileana Ober, Iulian Ober and J. Sifakis, "Tools and Applications II: The IF Toolset," In F. Corradinni and M. Bernanrdo, editors, Proceedings of SFM'04 (Bertinoro, Italy), September, 2004, LNCS vol. 3185, Springer-Verlag.
5. M. Bozga, J. C. Fernandez, L. Ghirvu, S. Graf, J. P. Krimm, and L. Mounier, "IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems," Proceedings of FM'99 (Toulouse, France), September 1999.
6. F. Cuppens and A. Miège, "Modeling Contexts in the Or-BAC Model," 19th Annual Computer Security Applications Conference, Las Vegas, December 2003.
7. ISO/IEC JTC1/SC21 WG7, "Information Retrieval, Transfer and Management for OSI; Framework: Formal Methods in Conformance Testing," also ITU-T recommendation Z 500, May 1997.
8. V. Darmaillacq, J. C. Fernandez, R. Groz, L. Mounier, and J. L. Richier, "Test Generation for Network Security Rules," Proceedings of TestCom 2006, LNCS 3964, May 2006, pp. 341-356.
9. D. Senn, D. Basin, and G. Caronni, "Firewall Conformance Testing," Proceedings of TestCom 2005, LNCS 3502, June 2005, pp. 226 - 241.
10. J. M. Orset and A. Cavalli, "A Security Model for OLSR Manet Protocol," Workshop on Future Mobile and Ubiquitous Information Technologies (FMUIT), May 2006, Nara, Japan.