Colloquium on Formal Methods and Security


          23rd April 1996, Isaac Newton Institute, Cambridge, UK


10.00   Introduction    Roger Needham (Cambridge)

10.20   Secure Composition:  An Application Area for Formal Methods
                        John McLean (US Naval Research Laboratory)      

10.50   Cryptographic Semantics of Formal Specifications
                        Birgit Pfitzmann (Hildesheim)   

11.10   Coffee


11.30   Introduction to Pi Calculus
                        Andy Gordon (Cambridge) 
        
11.50   Pi Calculus and Cryptography
                        Martin Abadi (DEC SRC)          

12.10   The Authentication Logics Project at Cambridge
                        Kim Wagner (Cambridge)          


12.30   Lunch


14.00   Formal Analysis of Electronic Payment Protocols: Some 
        Challenges and Opportunities
                        Raphael Yahalom (Jerusalem)     

14.20   On Authentication Logics
                        Volker Kessler (Siemens)        

14.40   Animated Formal Specifications for Cryptographic Protocol 
        Analysis
                        Richard Kemmerer (UCSB)         


15.00   Tea


15.30   Implementing the Clark-Wilson Security Policy Model in SML
                        Mark Staples (Cambridge)        

15.50   Hardware Verification and ATM Switches
                        Paul Curzon (Cambridge)         

16.10   Discussion chaired by Mike Gordon

17.00   Reception

Registration: There will be a fee of ten pounds to cover catering.
Participants who are not resident at, or affiliated to, the Isaac
Newton Institute should contact Mike Sekulla on 01223 330119 or
M.Sekulla@newton.cam.ac.uk to reserve their place.