ITEE Ph.D confirmation seminar: Benjamin Long, 10.00AM, Thu 27 Feb 2003

Formal Verification of Security Protocols

Speaker: Benjamin Long, ITEE

When: 10.00AM, Thursday 27 Feb 2003

Venue: 78-622

Host: Dr Colin Fidge

Abstract:

 
  As the information age continues to evolve, electronic communication
  is becoming the preferred means of interaction for commercial,
  industrial, and private use.  In areas such as defence, medicine,
  and e-commerce, it is crucial that sensitive information is not
  compromised by malicious parties.  To shield ourselves against
  potential threats, cryptographic functions are often applied to
  communication messages. The predetermined exchanges of such messages
  are known as `security protocols'.  It is important to ensure that
  security protocols operate correctly, providing the level of
  security required for the specific application.  We believe that
  rigorous analysis and development of security protocols is required
  in order to ensure their correctness.  Therefore, we are motivated
  to use mathematical specification and proof to provide formal
  verification of security protocols.

Biography:

(biography unavailable)

Type:

Ph.D confirmation

Contact:

Dr Colin Fidge, seminar host (cjf@itee.uq.edu.au)
or Guido Governatori (ITEE seminar co-ordinator) (guido@itee.uq.edu.au)

ITEE seminar web page: http://www.itee.uq.edu.au/~seminar

[All seminars]