Exchange Server 2013 Site Resilience Scott Schnoll.
Reasoning about Concurrency for Security Tunnels
1 Reasoning about Concurrency for Security Tunnels Alwyn E. Goodloe University of Pennsylvania Carl A. Gunter University of Illinois Urbana-Champaign.
A Logic of Belief and a Model Checking Algorithm for Security Protocols joint work with Massimo Benerecetti Fausto Giunchiglia University of Trento [email protected].
Student Learning Research Data Collection 2013-2014