Abstract
An important aspect of security requirements is the understanding and listing of the possible threats to the system. Only then can we decide what specific defense mechanisms to use. We show here an approach to list all threats by considering each action in each use case and analyzing how it can be subverted by an internal or external attacker. From this list we can deduce what policies are necessary to prevent or mitigate the threats. These policies can then be used as guidelines for design. The proposed method can include formal design notations for validation and verification.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Alexander, I.: Misuse cases: Use cases with hostile intent. In IEEE Software, Vol. 20, No. 1, January/February 2003, IEEE Computer Society Press, Los Alamitos, California (2003) 58–66.
Liu, L., Yu, E. and Mylopoulos, J.: Security and privacy requirements analysis within a social setting. In Proceedings of the 11 th IEEE International Conference on Requirements Engineering (RE’03), Monterey, California, 8–12 September 2003, IEEE Computer Society Press, Los Alamitos, California (2003) 151–161.
Schneier, B.: Attack Trees: Modeling Security Threats. In Dr. Dobb’s Journal, Vol. 24, No. 12, December 1999, CMP Media LLC, Manhasset, New York, USA (2003) 21–29.
Whitmore, J. J.: A method for designing secure solutions. In IBM Systems Journal, Vol. 40, No. 3, IBM, Riverton, New Jersey, USA (2001) 747–768. http://www.research.ibm.com/journal/sj
Zuccato, A.: Holistic security requirement engineering for electronic commerce. In Computers & Security, Vol. 23, No. 1, Elsevier, UK (2004) 63–76.
Howard, M., and LeBlanc, D. Writing secure code, (2nd Ed.), Microsoft Press, Redmond, Washington, USA (2003).
Sindre, G. and Opdahl, A.L.: Eliciting Security Requirements by Misuse Cases. In Proceedings of the 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-Pacific 2000), Sydney, Australia, 20–23 November 2000 IEEE Press, Los Alamitos, California, USA (2000) 120–131.
Fernandez, E. B.: A methodology for secure software design. In Software Engineering Research and Practice: Proceedings of the International Conference on Software Engineering Research and Practice, SERP’ 04, Las Vegas, Nevada, USA, Vol. 1, 21–24 June 2004, H. R. Arabnia and H. Reza (eds.), CSREA Press, USA (2004) 130–136.
Fernandez, E. B., Larrondo-Petrie, M. M., Sorgente, T. and VanHilst M.: A methodology to develop secure systems using patterns. In Integrating security and software engineering: Advances and future vision, H. Mouratidis and P. Giorgini (Eds.), Idea Group, Hershey, Pennsylvania, USA (2006).
Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3nd edition.), Prentice-Hall, Englewood Cliffs, New Jersey, USA (2005).
Fernandez, E. B., Gudes, E. and Olivier, M.: The Design of Secure Systems, Addison-Wesley, Reading, Massachussetts, USA (2007).
Fernandez, E. B., and Hawkins, J.C.: Determining Role Rights from Use Cases. In Proceedings of the 2nd ACM Workshop on Role-Based Access Control, RBAC’97, Fairfax, Virginia, USA, 6–7 November 1997, ACM Press, New York, New York, USA (1997) 121–125.
Booch, G., Rumbaugh, J. and Jacobson, I.: The Unified Modeling Language User Guide (2nd Ed.), Addison-Wesley, Upper Saddle River, New Jersey, USA (2005).
Fernandez, E. B. and Liu, Y.: The Account Analysis Pattern. In Proceedings of EuroPLoP 2002 (Pattern Languages of Programs), Irsee Germany, 3–7 July 2002, Universitätsverlag Konstanz, Konstanz, Germany, (2002). http://www.hillside.net/patterns/EuroPLoP2002/
Leveson, N. G., Heimdahl, M. P. E., Hildreth, H. and Reese, J. D.: Requirements specification for process control systems. In IEEE Transactions on Software Engineering, Vol. 20, No 9, September 1994, IEEE Computer Society Press, Los Alamitos, California, USA (1994) 684–707.
Cleland-Huang, J., Denne, M., Mahjub, G., and Patel, N.: A goal-oriented approach for mitigating security and continuity risks. In Proceedings. of the IEEE Inernational. Symposium on Secure Software Engineering (ISSSE’06), 13–15 March 2006, Arlington, Virginia, USA (2006) 167–177.
Haley, C.B., Laney, R.C., and Nuseiben, B.: Deriving security requirements from crosscutting threat descriptions. In Proceedings of the 3 rd. International Conference on Aspect-Oriented Software Development (AOSD’04), Lancaster, UK, 22–26 March 2004, ACM Press, New York, New York, USA (2004) 112–121.
Jackson, M.: Problem Frames: Analysing and structuring software development problems, Addison-Wesley, Reading, Washington, USA (2001).
He, Q. and Anton, A. I.: Deriving access control policies from requirements specifications and database design, North Carolina State University CS Technical Report. TR-2004-24, (2004).
Mouratidis, H., Giorgini, P. and Manson, G.A.: Using security attach scenarios to analyse security during information systems Design. In Proceedings of the 2 nd International Workshop on Security in Information Systems at ICEIS 2004, Porto, Portugal, April 2004 (2004) 10–17.
van Lamsweerde, A.: Elaborating security requirements by construction of intentional anti-models. In Proceedings of the 26 th International Conference on Software Engineering (ICSE’04), Edinburgh, UK, 23–28 May 2004, IEEE Computer Society Press, Los Alamitos, California, USA (2004) 148–157.
Huang, S. and Tilley, A.: Workshop on Graphical Documentation for Programmers: Assessing the Efficacy of UML Diagrams for Program Understanding. Held in conjunction with The 11 th International Workshop on Program Comprehension, IWPC 2003, 10 May 2003, Portland, Oregon, USA, IEEE Computer Society Press, Los Alamitos, California, USA (2003) 281–282.
Tilley, S., and Huang, S.: A qualitative assessment of the efficacy of UML diagrams as a form of graphical documentation in aiding program understanding. In Proceedings of the 21 st ACM Annual International Conference on Design of Communication (SIGDOC 2003: 12–15 October 2003; San Francisco, California, USA, ACM Press: New York, New York, USA (2003) 184–191.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Fernandez, E.B., VanHilst, M., Larrondo Petrie, M.M., Huang, S. (2006). Defining Security Requirements Through Misuse Actions. In: Ochoa, S.F., Roman, GC. (eds) Advanced Software Engineering: Expanding the Frontiers of Software Technology. IFIP WCC TC2 2006. IFIP International Federation for Information Processing, vol 219. Springer, Boston, MA . https://doi.org/10.1007/978-0-387-34831-5_10
Download citation
DOI: https://doi.org/10.1007/978-0-387-34831-5_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34828-5
Online ISBN: 978-0-387-34831-5
eBook Packages: Computer ScienceComputer Science (R0)