BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2008/newsitem/2503/22- 26-September-2008-Logic-and-Information-Security DTSTAMP:20080911T000000 SUMMARY:Logic and Information Security DTSTART;VALUE=DATE:20080922 DTEND;VALUE=DATE:20080926 LOCATION:Lorentz Center, Leiden DESCRIPTION:The interdisciplinary workshop 'Logic and information security' focuses on the logical a nalysis of protocols for secure communication, inc luding additional communicative aspects susceptibl e to attack. Disciplines and subdisciplines involv ed are: modal logic, combinatorial mathematics, in formation science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based an alysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particul ar epistemic logical analyses of such phenomena), and model checking protocols - both temporal epist emic and dynamic epistemic model checking as more real-time protocol verification (often with first- order logics and systems based on term or equation al rewriting). For more information, see http:/ /www.lorentzcenter.nl/lc/web/2008/302/info.php3?ws id=302 X-ALT-DESC;FMTTYPE=text/html:\n
\n The interdisciplinary workshop 'Logic and informat ion security' focuses on the logical analysis of p rotocols for secure communication, including addit ional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: moda l logic, combinatorial mathematics, information sc ience, computer science, cryptography, computer se curity, philosophy, cognitive science, linguistics . Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols a nd oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model ch ecking protocols - both temporal epistemic and dyn amic epistemic model checking as more real-time pr otocol verification (often with first-order logics and systems based on term or equational rewriting ).\n
\n \n\n For more information, see\n http://www.lorentzcenter.nl/lc/web/ 2008/302/info.php3?wsid=302\n
URL:/NewsandEvents/Archives/2008/newsitem/2503/22- 26-September-2008-Logic-and-Information-Security END:VEVENT END:VCALENDAR