Acknowledgements Creating and maintaining

The purpose of this page is supported by the EVA national network project. The principles and scripts used for storing protocols and generating the documentshave been designed and implemented byRalf Treinenfor the RTA list of open problems. The use of these scripts and Ralfs precious help were priceless forthe construction of the security protocols open repository.. The idea is to keep some consistency, not to review the contributions. We start with their slightly enriched library and seek for contributions. Contents This page contains structured library of cryptographic protocols descriptions, as well as comments and pointers to other pagesavailable papers.

The purpose of this page is supported by the EVA national network project. The principles and scripts used for storing protocols and generating the documentshave been designed and implemented byRalf Treinenfor the RTA list of open problems. The use of these scripts and Ralfs precious help were priceless forthe construction of the security protocols open repository.. We start with their slightly enriched library and seek for contributions. Contents This page contains structured library of cryptographic protocols descriptions, as well as comments and pointers to other pagesavailable papers.

in semiformal syntax, together with the goalsthey are supposed to achieve. Additionally, short comments about formal proofs or known attacks are included, with references and links to available commentsanalysispapers. See the complete description of the formatof the librarys protocols for more details. Contributionsupdates We seek for contributions, either adding new protocols oradding linkscomments. The purpose of this page is supported by the EVA national network project. The principles and scripts used for storing protocols and generating the documentshave been designed and implemented byRalf Treinenfor the RTA list of open problems.
Tags: maintaining, Acknowledgements, Creating