On Se­cu­ri­ty Mo­dels and Com­pi­lers for Group Key Ex­chan­ge Pro­to­cols.

Jörg Schwenk, Mark Ma­nu­lis, Em­ma­nu­el Bres­son

In Pro­cee­dings of the 2nd In­ter­na­tio­nal Work­shop on Se­cu­ri­ty (IWSEC 2007), Nara (Japan), 2007.

[PDF] [Bib­tex]

Tags: ex­chan­ge