[langsec-discuss] langsec modeling for crypto protocols
krishna.sashank at gmail.com
Mon Nov 4 03:38:57 UTC 2013
Interestingly this thesis models the security protocols in terms of
"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...
More information about the langsec-discuss