Network Security: concepts and principles, network security tools (e.g. firewalls, HIDS); Host-Based Safety: fault handling, model checking, static analysis of software, runtime monitoring; Advanced Topics of Security: type-based security, cryptography, authentication, trusted programming, automated theorem proving, proof-carrying code; Ethics and Privacy: security/privacy trade-off, cybercrime, economic and psychological aspects of security.
Credit Weight:
0.5
Prerequisite(s):
Software Engineering 3255
Corequisite(s):
Software Engineering 4557
Course Classifications:
Type C: Engineering, Mathematical and Natural Sciences