UWTV Program: Automatic Tools for Building Secure Systems

Search:

Search for information by:

Note: Selected programs are available for streaming download per agreement with the original media source.

Sponsored by:

Automatic Tools for Building Secure Systems

	Dawn Song explains why building a secure system is a complex and error-prone process in computing. System signers and developers face many challenges. Song proposes a new automatic approach for building security protocols. Song designed and built a suite of automatic tools, Athena, containing three components: 1) APV: an Automatic Protocol Analyzer; 2) APG: an Automatic Protocol Generator; 3) ACG: an Automatic Code Generator. This toolkit enables a new automatic approach for building security protocols that is more efficient, economical, and with higher security guarantee than the current approach.



	* Help?


Series Title:	CSE Colloquia - 2002
Subject(s):	Engineering and Computer Science
Speaker(s):	Dawn Song, University of California-Berkeley
Related Link(s):	CSE website
Production Date:	04/11/2002
Runtime:	00:58:27
Rating:	TV-PG

Support for UWTV is provided by:

San Jose State @ UW
Watch 9/3 at 8 p.m.
Original Game: 11/16/96

Kansas State @ UW
Watch 9/6 at 7 p.m.
Original Game: 9/28/91

Email us with comments or questions or call 888-616-UWTV