CPAL-ES, A Security Protocol Analysis Workbench

Page Content

Alec Yasinsac - Florida State University

Apr 11, 2001

RealMedia Icon RealVideo

Abstract

Like 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 Speaker

Alec 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.


Unless otherwise noted, the security seminar is held on Wednesdays at 4:30P.M. STEW G52, West Lafayette Campus. More information...

© 1999-2013 Purdue University. All rights reserved.

Use/Reuse Guidelines

CERIAS Seminar materials are intended for educational, non-commercial use only and any or all commercial use is prohibited. Any use must attribute "The CERIAS Seminar at Purdue University." Opinions expressed in the recordings are not necessarily representative of the views of CERIAS or of Purdue University.