Found 3 relevant results in 2.56s where lecturer="Heiko Mantel"
No description available.
The course will survey techniques for formally analyzing and enforcing security properties on the level of concrete programming languages.
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