An agent-based system to support assurance of security requirements

SSIRI 2010 - 4th IEEE International Conference on Secure Software Integration and Reliability Improvement

Volumn , Issue , 2010, Pages 78-87

  Ouedraogo, Moussa ^a,b   Mouratidis, Haralambos ^b   Khadraoui, Djamel ^a   Dubois, Eric ^a  

^a LUXEMBOURG INSTITUTE OF SCIENCE AND TECHNOLOGY   (Luxembourg)

^b UNIVERSITY OF EAST LONDON   (United Kingdom)

Author keywords

Multi agents systems; Secure Tropos; Security assurance; Security requirements; Security verification

Indexed keywords

AGENT-BASED SYSTEMS; END-PRODUCTS; ENVIRONMENTAL HAZARDS; EXAMPLE BASED; MULTI-AGENTS SYSTEMS; RUNTIMES; SECURITY ASSURANCE; SECURITY ASSURANCE EVALUATION; SECURITY MEASURE; SECURITY REQUIREMENTS; SECURITY REQUIREMENTS ENGINEERING; SECURITY VERIFICATION; SOFTWARE DEVELOPMENT; SYSTEM DEVELOPMENT;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE DESIGN; SOFTWARE RELIABILITY;

COMPUTER VIRUSES;

EID: 77954827164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI.2010.32     Document Type: Conference Paper

References (24)

1. A. Van Lamsweerde, S. Brohez, R. De Landtsheer, D. Janssens, "From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering", in Proceedings of the Requirements for High Assurance Workshop, Monterey Bay, CA, September 8, 2003, 49-56.
2. H. Mouratidis and P. Giorgini, "Secure Tropos: A security oriented extension of the Tropos methodology", IJSEKE Vol 17, n.2, 2007
3. H. Mouratidis, "A Security Oriented Approach in the Development of Multiagent Systems: Applied to the Management of the Health and Social Care Needs of Older People in England", PhD Thesis, University of Shefield, United Kingdom, 2004
4. J. Jürjens, "Secure Systems Development with UML", Springer, Berlin 2005
5. M. Swanson, B. Nadya, J. Sabato, J. Hash and L. Graffo, "Security Metrics Guide for Information Technology Systems", National Institute of Standards and technology Special publication #800-55
6. R.B. Vaughn, R. Henning, A. Siraj, " Information Assurance Measures and Metrics - State of Practice and Proposed Taxonomy", in Proceedings of the IEEE/HICSS'03, Hawaii.
7. N. Seddigh, P. Pieda, A. Matrawy, B. Nandy, L. Lambadaris and A. Hatfield, "Current Trends and Advances in Information Assurance Metrics" In proceedings of PST 2004: 197-205
8. CC, Common Criteria for information Technology, part 1-3, version 3.1, September 2006.
9. E.Bulut, D. Khadraoui and B. Marquet, "Multi-Agent based security assurance monitoring system for telecommunication infrastructures", in proceedings to the Communication, Network, and Information Security conference, Berkely/California.
10. Software security assurance state of the art report (SOAR), July 2007. Available at: http://iac.dtic.mil/iatac/download/security.pdf
11. W. Jansen "Directions in Security Metrics Research", NIST Special publication# NISTIR 7564.
12. R.M. Savola, "Towards a Taxonomy for Information Security Metrics", International Conference on Software Engineering Advances (ICSEA 2007), Cap Esterel, France, 2007.
13. G.F. Jelen and J.R Willams, "A practical approach to measuring Assurance", IEEE Xplore library.
14. T.J. Klevinsky, S. Laliberte, A. Gupta, " Hack I.T. - Security Through Penetration Testing", Addison-Wesley, Boston, Massachusetts, USA, June 2002
15. G. Stoneburner, "Underlying Technical Models for Information Technology Security", National Institute of Standards and technology Special publication #800-33
16. M. Ouedraogo, H. Mouratidis, D. Khadraoui and E. Dubois, "A probe capability metric taxonomy for assurance evaluation", In proceedings of UEL 5th conference on Advances in Computing and Technology Conference (AC&T), England, 2010
17. J.R. Williams and M. Schaefer, "Pretty Good Assurance", Proceedings of the New Security Paradigms Workshop, (IEEE Computer Society Press, 1995).
18. P. Bresciani, P. Giorgini, H. Mouratidis, G. Manson, " Multi-agent Systems and Security Requirements Analysis", in Advances in Software Engineering for Multi-Agent Systems, C. Lucena, A. Garcia, A. Romanovsky, J. Castro, and P. Alencar (editors), Lecture Notes in Artificial Intelligence 2940, Springer-Verlag
19. E. Yu, "Modeling Strategic Relationships for process Reengineering", Ph.D. Thesis, Department of Computer Science, University of Toronto, Canada,1998.
20. N.R.Jennings, "An agent-based software engineering, Agent- Oriented Software Engineering", in the Proceedings of the 9th European Workshop on Modeling Autonomous Agents in a Multi- Agent World (MAAMAW-99), Valencia, Spain.
21. nd International Conference on Software Engineering, June 2000, pp. 816-817.
22. JADE, http://jade.tilab.com [Accessed: 10 March 2008]
23. A. Wool, "A Quantitative Study of Firewall Configuration Errors" Computer, vol. 37, no. 6, pp. 62-67, June 2004.
24. Samhain, http://www.la-samhain.de/samhain.