Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

HP.com home


Technical Reports



» 

HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» Worldwide sites
» Downloads
Content starts here

 
Click here for full text: PDF

Issues in Generating Security Protocols Automatically

Lin, Along

HPL-2001-240R1

Keyword(s): security protocols; protocol specification; security property

Abstract: Protocol design is a very challenging and knowledge- intensive task. Designing a protocol is as hard as synthesizing a program. In this paper, we will first discuss the issues in our automatic security protocol generator, and then propose an approach to constructing security protocols intelligently, based on a security property specification and an extensible general-purpose library of schemas. Each schema is defined by specifying intended behaviors and is described as a sequence of primitive messages. Finally, some conclusions are drawn.

11 Pages

Back to Index

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Printable version
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.