BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Proposed Framework for Analysing Security Ceremonies - Jean Mart
 ina (Federal University of Santa Catarina / Brazil)
DTSTART:20120228T130000Z
DTEND:20120228T140000Z
UID:TALK35575@talks.cam.ac.uk
CONTACT:William Denman
DESCRIPTION:The concept of ceremony as an extension to network and securit
 y protocols was introduced by Ellison. No methods or tools to check correc
 tness or the properties in such ceremonies are currently available. The ap
 plications for security ceremonies are vast and ll gaps left by strong as
 sumptions in security protocols\, like provisioning of cryptographic keys 
 or correct human interaction. Moreover\, no tools are available to check h
 ow knowledge is distributed among human peers and in their interaction wit
 h other humans and computers in these scenarios. The key component in this
  paper is the formalisation of human knowledge distribution in security ce
 remonies. By properly enlisting human expectations and interactions in sec
 urity protocols\, we can minimise the ill-described assumptions we usually
  see failing. Taking such issues into account\nwhen designing or verifying
  protocols can help us to better  understand where protocols are more pron
 e to break due to human constraints.
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR