CPAL-ES, A Security Protocol Analysis Workbench
Alec Yasinsac - Florida State University
Apr 11, 2001
AbstractLike computer programs, Security Protocols are difficult to verify. Many of the existing formal methods used for this purpose are complex, hard to use, and not well-suited to large, complex, modern security protocols. The demand for effective security protocols is greatly expanded by introduction of e-commerce and other Internet needs. To date, there is limited work targeted at analyzing these large, complex security protocols. The CPAL-ES Security Protocol Analysis Workbench targets this purpose. In this talk, I'll give an overview of the workbench and discuss how it will help solve this vital problem.
About the SpeakerAlec Yasinsac is an Assistant Professor in the Department of Computer Science at Florida State University. He has over twenty years experience in the computer systems, engineering and security fields. His research interests are in Security Protocol Analysis, Intrusion Detection of Secure Enclaves, and Computer and Network Forensics.
The views, opinions and assumptions expressed in these videos are those of the presenter and do not necessarily reflect the official policy or position of CERIAS or Purdue University. All content included in these videos, are the property of Purdue University, the presenter and/or the presenter’s organization, and protected by U.S. and international copyright laws. The collection, arrangement and assembly of all content in these videos and on the hosting website exclusive property of Purdue University. You may not copy, reproduce, distribute, publish, display, perform, modify, create derivative works, transmit, or in any other way exploit any part of copyrighted material without permission from CERIAS, Purdue University.