Software Security
How Should We Make Software Secure?
University of Washington, Microsoft Research, and Carnegie Mellon University Summer Institute
June 15–18, 2003
Software SecurityHow Should We Make Software Secure?University of Washington, Microsoft Research, and Carnegie Mellon University Summer InstituteJune 15–18, 2003
|
|
|
Challenge Problem: Cryptographic Protocols How Can We Formally Analyze Protocols in the Context of Their Use? There are emerging properties of cryptographic protocols and emerging threats. Protocols do not exist in isolation. Here are some issues for future research with respect to formal methods used for verifying properties of cryptographic protocols. |
|
|