APPL Answer (ITC)
Networking
Applications of Logic in Computer Security Jonathan Millen SRI International.
A V IRTUAL M ACHINE I NTROSPECTION B ASED A RCHITECTURE FOR I NTRUSION D ETECTION Tal Garfionkel, Mendel Rosenblum Computer Science Department, Stanford.
Distributed System Security via Logical Frameworks Frank Pfenning Carnegie Mellon University Joint work with Lujo Bauer, Deepak Garg, and Mike Reiter.
CP3397 Network Design and Security Lecture 1 An Introduction to Distributed Information Systems.
CS 4720 Security CS 4720 – Web & Mobile Systems. CS 4720 The Traditional Security Model The Firewall Approach “Keep the good guys in and the bad guys.