[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"
http://www.imsc.res.in/xmlui/handle/123456789/105

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 !


Regards,
Sashank
http://lnkd.in/88sgfr
-------------- 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