Sciweavers

Share
IFIP
2009
Springer

On the Automated Correction of Protocols with Improper Message Encoding

9 years 1 days ago
On the Automated Correction of Protocols with Improper Message Encoding
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaired. Continuing previous work we present first steps to automate this repairing process, especially for protocols that are susceptible to type-flaw attacks. To this end, we extend the notion of strand spaces by introducing an implementation layer for messages and extending the capabilities of a penetrator to swap messages that share the same implementation. Based on this framework we are able to track type flaw attacks to incompatibilities between the way messages are implemented and the design of concrete security protocols. Heuristics are given to either change the implementation or the protocol to avoid these situations.
Dieter Hutter, Raul Monroy
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where IFIP
Authors Dieter Hutter, Raul Monroy
Comments (0)
books