As social, economic, and political processes propagate through computational networks, computational processes have ever broader social, economic, and political repercussions. This makes security into one of the central problems of computer science.
While traditional sciences are concerned with truth, as confirmed by experiments, modern sciences are increasingly also concerned with lying and deceit, as enabled, implemented, countered, and prevented through network computation. Security Science gathers methods and results of research into the adversarial computation. The goal of this introductory course is to familiarize students with the emerging foundations of this new science and to prepare future computer scientists for its rapidly evolving applications.
- Introduction: Security concepts
- Static resource security: access control and multi-level security
- Dynamic resource security: authorization and availability
- Channel security: noninterference and covert channels