Security Engineering
-
David Basin, Srdan Krstic
-
Autumn Semester
-
Location: rack 12, shelf 2
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
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Secure programming with static analysisBrian Chess, Jacob West
|
||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Writing secure codeby Michael Howard, David LeBlanc
|
||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() Computer securityArt and science Matt Bishop
|
||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Threat modelingDesigning for security Adam Shostack
|
||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Security engineeringA guide to building dependable distributed systems Ross J. Anderson
|
||||||||||||||||||||||||||||||
![]() READING ROOM ONLY
NOT AVAILABLE
![]() ![]() Building secure softwareHow to avoid security problems the right way John Viega, Gary McGraw
|