BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/529
DTSTAMP:20230914T125928Z
SUMMARY:Security Protocols: An Information Flow Perspective
DESCRIPTION:Speaker: N.V. Narendra Kumar (School of Technology and Computer
  Science\nTata Institute of Fundamental Research\nHomi Bhabha Road\nMumbai
  400005)\n\nAbstract: \nAbstract: There has been a tremendous increase in 
 the development and use of networked and distributed systems in the past t
 hree decades. Security protocols are small programs that aim at securing c
 ommunications over a public network like the Internet. E-commerce is now a
 n integral part of our daily lives\, and security protocols play a major r
 ole in securing these transactions online. Protocols are commonly describe
 d using an informal notation that only gives an intended trace involving t
 he honest principals. These protocol descriptions/narrations often leave m
 any properties of a protocol unspecified. In particular\, there is no way 
 to determine the initial conditions or assumptions about shared informatio
 n\, nor can we see under what conditions the principals should respond to 
 messages.\n\nDesign of protocols is in itself a challenging task\, but is 
 not the central theme of this talk. Rather\, we argue that viewing a proto
 col as an exchange of information among the intended stakeholders of the s
 ystem\, and applying the concepts of information flow security for enrichi
 ng the protocol specifications helps the designer to make his intentions e
 xplicit. We illustrate our approach using the Needham-Schroeder protocol a
 s an example.\n
URL:https://www.tcs.tifr.res.in/web/events/529
DTSTART;TZID=Asia/Kolkata:20140813T160000
DTEND;TZID=Asia/Kolkata:20140813T170000
LOCATION:AG-69
END:VEVENT
END:VCALENDAR