Security Engineering

 

Autumn Semester 2011 (252-0463-00)

Overview

Lecturer: David Basin

Time: Wed 10-12h
Place: ML H 41.1

Tutors: Mohammad Torabi Dashti and Grgur Petric Maretic

Time: Wed 15-17
Place: CAB G 51

Prerequisites: Information Security
Credit: 5 ECTS
Homework: Optional, but strongly recommended
Exam: 15 min oral exam
Language: English

Description

Security engineering is an evolving discipline that unifies two important areas: software engineering and security. Software Engineering addresses the development and application of methods for systematically developing, operating, and maintaining, complex, high-quality software. Security, on the other hand, is concerned with assuring and verifying properties of a system that relate to confidentiality, integrity, and availability of data. The goal of this class is to survey engineering techniques for developing secure software systems. We examine concepts, methods and tools, applied within the different activities of the software development process to improve security of the system.

Topics

System modeling, security requirements, model-based development methods, security designs, implementation-level security, validation and verification techniques, risk analysis, and standards and evaluation criteria for secure systems.

Resources

• Ross Anderson: Security Engineering, Wiley, 2001.
• Matt Bishop: Computer Security, Pearson Education, 2003.
• Ian Sommerville: Software Engineering, 6th ed., Addison-Wesley, 2001.
• John Viega, Gary McGraw: Building Secure Software, Addison-Wesley, 2002.
• Further relevant books and journal/conference articles will be announced in the lecture.
  

Course material

Course material can be found here.