Research Projects

• Current Collaborative Projects
• APPeers: Cooperative Networked Control of Dynamical Peer-to-Peer Vehicle Systems  (DARPA/AFOSR MURI Program)
• PORTIA: Privacy, Obligations, and Rigjhts in Technoligies of Information Assessment (NSF Cybertrust Program)
• SPYCE: Diffuse Computing  (ONR URI Program)
• TRUST: Team for Research in Ubiquitous Secure Technology   (NSF Science and Technology Center)
• Stanford Campus Report Annoucement
• Completed
• Agile Management of Dynamic Collaboration (DARPA Dynamic Coalitions Program)
• Pleiades Project: Assurance for Network Communication and Mobile Code (ONR MURI Program)

Resources

• Model Checking Security Protocols - The Murphi Security Analysis Page
• Security Protocol Composition and Logic

 

Return to J Mitchell home page