[langsec-discuss] langsec modeling for crypto protocols

Sashank Dara krishna.sashank at gmail.com
Mon Nov 4 03:38:57 UTC 2013

Interestingly this thesis models the security protocols in terms of
automata .

"Foundations of Security Protocol Analysis"

Their key results being "the secrecy problem, whether a protocol leaks
secrets or not is Undecidable ! ". This could be dangerous in practice.
They prove that only few sub class of protocols are decidable .

And this thesis appeared in 2003 much before lang sec formed :) i believed !

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20131104/d76711d1/attachment.html>

More information about the langsec-discuss mailing list