5th IEEE International Conference on Software Engineering and Formal Methods

[dcrocker at eschertech.com (David Crocker)]

Hi all,

Seeing that formal methods have been used to prove aspects of system security, I
thought that some members might be interested in the 5th IEEE SEFM conference,
which will be held on 12-14 September in London.

The conference program (http://www.iist.unu.edu/SEFM07/programme.html) includes
papers on the following:

 Verifying the Mondex Case Study (verifying that a smart card money-exchange
protocol is secure)

 Recovery from DoS Attacks in MIPv6

 Verification of C Programs Using Automated Reasoning (my own paper - includes
absence of buffer overflow)

See http://www.iist.unu.edu/SEFM07 for more details.

Regards,

David Crocker, Escher Technologies Ltd.
Consultancy, contracting and tools for dependable software development
www.eschertech.com