Securing the skies: In requirements we trust

Computer

Volumn 42, Issue 9, 2009, Pages 64-72

  Nuseibeh, Bashar ^a   Haley, Charles B ^a   Foster, Craig ^b  

^a OPEN UNIVERSITY   (United Kingdom)

^b Communications Navigation and Surveillance Research Team at NATS ^*

Author keywords

Airplanes; Context; Data mining; Radar; Security; Security requirements analysis; Security requirements engineering; Surveillance

Indexed keywords

EID: 70349464375     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2009.299     Document Type: Article

References (17)

1. B. Schneier, Secrets and Lies: Digital Security in a Networked World Wiley, 2000.
2. R. Crook et al., "Security Requirements Engineering: When Anti-Requirements Hit the Fan," Proc. 10th Anniversary IEEE Joint Int'l Conf. Requirements Eng. (RE 02), IEEE CS Press, 2002, pp. 203-205.
3. A.I. Antón, ed., special issue on "Requirements Engineering for Information Security," Requirements Eng., Dec. 2002, pp. 177-287.
4. C.B. Haley et al., "Security Requirements Engineering: A Framework for Representation and Analysis," IEEE Trans. Software Eng., Jan. 2008, pp. 133-153.
5. B. Nuseibeh and S. Easterbrook, "Requirements Engineering: A Roadmap," Proc. Conf. Future of Software Eng. (FOSE 00), ACM Press, 2000, pp. 35-46.
6. P.T. Devanbu and S. Stubblebine, "Software Engineering for Security: A Roadmap," Proc. Conf. Future of Software Eng. (FOSE 00), ACM Press, 2000, pp. 227-239.
7. M. Glinz, "On Non-Functional Requirements," Proc. 15th IEEE Int'l Requirements Eng. Conf. (RE 07), IEEE CS Press, 2007, pp. 21-26.
8. D. MacKenzie, Mechanizing Proof: Computing, Risk, and Trust, MIT Press, 2001.
9. B. Nuseibeh, "Weaving Together Requirements and Architectures," Computer, Mar. 2001, pp. 115-117.
10. C. Foster and M. Watson, "CRISTAL UK - Final Project Report," report no. EN-CRISTAL-UK/WP0/FPR/D1.1, 19 Oct. 2007, Eurocontrol; www.eurocontrol.int/cascade/public/site_preferences/ display_library_list_public.html.
11. M. Jackson, Problem Frames: Analysing and Structuring Software Development Problems, Addison-Wesley/ACM Press, 2001.
12. J. Moffett et al., "A Model for a Causal Logic for Requirements Engineering," Requirements Eng., Mar. 1996, pp. 27-46.
13. S. Toulmin, The Uses of Argument, updated ed., Cambridge Univ. Press, 2003.
14. T.P. Kelly, "Arguing Safety - A Systematic Approach to Safety Case Management," doctoral dissertation, University of York, 1999.
15. A. van Lamsweerde, "Elaborating Security Requirements by Construction of Intentional Anti-Models," Proc. 26th Int'l Conf. Software Eng. (ICSE 04), IEEE CS Press, 2004, pp. 148-157.
16. I.A. Tøndel, M.G. Jaatun, and P.H. Meland, "Security Requirements for the Rest of Us: A Survey," IEEE Software, Jan./Feb. 2008, pp. 20-27.
17. G. Sindre and A.L. Opdahl, "Eliciting Security Requirements by Misuse Cases," Proc. 37th Int'l Conf. Technology of Object-Oriented Languages and Systems (TOOLS-Pacific 00), IEEE CS Press, 2000, pp. 120-131.