Security Engineering
- David Basin, Srdan Krstic
- Autumn Semester
- Location: rack 12, shelf 2 VVZ-ID: 252-0463-00L Lecture homepage
Subject of the class are engineering techniques for developing secure systems. We examine concepts, methods and tools, applied within the different activities of the SW development process to improve security of the system. Topics: security requirements&risk analysis, system modeling&model-based development methods, implementation-level security, and evaluation criteria for secure systems
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
Secure programming with static analysisBrian Chess, Jacob West
|
||||||||||||||||||||||||||||||
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
Writing secure codeby Michael Howard, David LeBlanc
|
||||||||||||||||||||||||||||||
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
Computer securityArt and science Matt Bishop
|
||||||||||||||||||||||||||||||
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
Threat modelingDesigning for security Adam Shostack
|
||||||||||||||||||||||||||||||
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
Security engineeringA guide to building dependable distributed systems Ross J. Anderson
|
||||||||||||||||||||||||||||||
AVAILABLE
READING ROOM ONLY
NOT AVAILABLE
ONLINE VERSION
Building secure softwareHow to avoid security problems the right way John Viega, Gary McGraw
|