Google Suche
Univ.-Prof. Dr. Koldehofe, Boris
Fachgebietsleiter
Technische Universität Ilmenau |
Department of Computer Science and Automation |
Distributed and Operating Systems Group |
|
Visiting address: | Mail address: |
Helmholtzplatz 5 | P.O. Box 10 05 65 |
98693 Ilmenau | 98684 Ilmenau |
In recent years, computer systems security has evolved from an elitist asset of highly specialized systems to a key property in almost all application areas. Vital sectors of our society, such as energy, water, traffic management, financial management, production, administration and research, are highly dependent on the security of computer systems.
Computer security has made huge advances in the last two decades and is nowadays among the key topics in computer science. This course focusses on the basic paradigms, methods and concepts of the field of security engineering – the methodical engineering of a computer system's security properties.
Course topics are
security policies and their formal models
security policy specification
security mechanisms
security architectures
Course material can be found on moodle
Pay Attention to Infection Prevention Regulations
A good learning experience inevitable requires personal interaction and discussion. Since I highlight the importance of active learning and debating, even for a lecture format, and since we will work on some practical tasks during the seminars, let us all make sure to adhere to the university's COVID preventions strategy and according regulations.
Together with you as participants, I am looking forward to a complete semester of personal teaching, supervision, and successful exams!
– P. A.
Algorithms and Data Structures
abstract data types: algebras
standard data types: graphs, trees, sets, linked and hash lists
algorithms: computational complexity and decidability
Automata and Formal Languages
predicate logic
deterministic automata
patterns and regular expressions
iteration, induction, recursion
Operating Systems
fundamental OS abstractions
concurrency and synchronization
system architectures
Computer Networks
protocols and protocol layers
basic cryptographic mechanisms
Programs:
Credits: 5 (3+1)
Lecturer: Peter Amthor (FG VSBS Staff 2)
Times & Rooms:see OTT