13 episodes

This graduate course taught by UC Davis computer science professor Matt Bishop covers the mathematical foundations of computer security. He asks, "What can we prove is secure, and what can we demonstrate cannot be proved? How can we analyze specific types of systems in order to determine whether they provide the desired security? How do we build systems that do what they are supposed to?" This course presents the basic mathematical models that underlie much of modern computer security and information assurance.

Computer Science: Foundations of Computer and Information Security (ECS235B‪)‬ UC Davis

    • Technology
    • 3.8 • 16 Ratings

This graduate course taught by UC Davis computer science professor Matt Bishop covers the mathematical foundations of computer security. He asks, "What can we prove is secure, and what can we demonstrate cannot be proved? How can we analyze specific types of systems in order to determine whether they provide the desired security? How do we build systems that do what they are supposed to?" This course presents the basic mathematical models that underlie much of modern computer security and information assurance.

    • video
    Lecture 01

    Lecture 01

    • 3 sec
    • video
    Lecture 02

    Lecture 02

    • 3 sec
    • video
    Lecture 03

    Lecture 03

    • 3 sec
    • video
    Lecture 04

    Lecture 04

    • 3 sec
    • video
    Lecture 05

    Lecture 05

    • 3 sec
    • video
    Lecture 06

    Lecture 06

    • 2 sec

Customer Reviews

3.8 out of 5
16 Ratings

16 Ratings

Top Podcasts In Technology

Lex Fridman
Jason Calacanis
Tristan Harris and Aza Raskin, The Center for Humane Technology
NPR
Jack Rhysider
Gimlet

More by UC Davis

Margaret Swisher and Barbara Myslik
Ann Stevens
Hilary Hoynes
Maynard Amerine
Victoria Cross
Robyn Magalit Rodriguez