3 ms·Lessons in re-engineering a security protocol specification and implementation2 points by panic 11y ago