SSR 2014: Security Standardisation Research

Conference programme

The provisional programme is given below.

Tuesday 16th December 2014

Wednesday 17th December 2014

Panel session

The focus of the panel session was devised by Joshua D Guttman of the MITRE Corporation.

Over time, cryptographic protocols in standards grow more numerous and more complex. One of the important functions of standards development and revision is to ensure that errors in such protocols are detected and avoided before adoption. Modern automated protocol analysis tools have reached (or are quickly reaching) a level of maturity where their use in standards development may be highly advantageous.

The panel will aim to inform the audience of modern protocol analysis tools they should be aware of, their capabilities and the benefits of their use, and will discuss the barriers to adoption of such tools by the standards communities.