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 _______________________________________________ Secure Coding mailing list (SC-L) SC-L@securecoding.org List information, subscriptions, etc - http://krvw.com/mailman/listinfo/sc-l List charter available at - http://www.securecoding.org/list/charter.php SC-L is hosted and moderated by KRvW Associates, LLC (http://www.KRvW.com) as a free, non-commercial service to the software security community. _______________________________________________