System Security - Interaktive Studienpläne der TU Ilmenau

Mandatory: Basic knowledge of Ÿ operating systems, software engineering and formal automata and computability.

Crucial prerequisites will be briefly revisited when necessary.

Recommended: Basic knowledge of  computer networks, discrete mathematics, predicate logic and algorithms and complexity.

Students are able to define and
derive security requirements from application scenarios (lecture). They can
define and use the term "security policy" (lecture). Students are able to apply
formal security models to represent a security policy (lecture and exercises).
For this, they can define, classify and compare fundamental security models
(lecture and exercises). Based on this, students can evaluate such models
against security properties (lecture and exercises) and construct new,
application-specific models (exercises). They can name essential languages and
mechanisms for implementing such models (lecture) and apply them to case
studies (exercises). Security architectures used for integrating secuity
mechanisms can be described and classified by the students (lecture). They can
also assess their suitability for specific use cases (exercises).

Presentations with projector and whiteboard, books, papers, assignments, discussions

William Stallings, Lawrie Brown: Computer Security. Pearson, 2nd Edition, 2012, 810 pages.

Matthew Bishop: Computer Security: Art and Science. Addison-Wesley Educational Publishers Inc, 2012 (2. Edition), 1168 pages.

Trent Jaeger: Operating System Security. Synthesis Lectures on Information Security, Privacy and Trust #1, Morgan & Claypool Publishers, 2008.

N. Akosan et. al.: Mobile Platform Security. Synthesis Lectures on Information Security, Privacy and Trust #9, Morgan & Claypool Publishers, 2014.

Anupam Datta et. al.: Analysis Techniques for Information Security. Synthesis Lectures on Information Security, Privacy and Trust #2, Morgan & Claypool Publishers, 2010.

Ross Anderson: Security Engineering. John Wiley & Sons, 2nd Edidtion, 2008, 1040 pages. Also available online.

Frank Mayer, Karl Macmillan, David Caplan: SELinux by Example. Prentice Hall 2007, 425 pages.

Bruce Schneier: Secrets and Lies - Digital Security in a Networked World. John Wiley & Sons 2000, 408 pages.

Dr. Peter Amthor