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.9, 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.

Customer Reviews

3.9 out of 5
16 Ratings

16 Ratings

Top Podcasts In Technology

Listeners Also Subscribed To

More by UC Davis