|
Links
Venue
Conferences
SecReT series
|
SecReT 2008
3rd International Workshop on Security and Rewriting Techniques
Sunday, June 22, 2008, Pittsburgh, USA
Affiliated workshop of CSF
Programme
| 8:30 - 9:30 | Registration and welcome |
| 9:30 - 10:30 | Invited talk: Jonathan Millen
Title: Rewriting Techniques in Protocol Analysis |
| 10:30 - 11:00 | Break |
| 11:00 - 11:30 | Steve Barker, Clara Bertolissi and Maribel Fernandez.
Title: Action Control by Term Rewriting |
| 11:30 - 12:00 | Horatiu Cirstea, Pierre-Etienne Moreau
and Anderson Santana de Oliveira.
Title:Rewrite Based Specification of Access Control Policies |
| 12:00 - 12:30 | Claude Kirchner, Helene Kirchner and Anderson Santana de Oliveira.
Title: Analysis of Rewrite-Based Access Control Policies |
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:00 | Invited talk: Hubert Comon
Title: Rewriting techniques and security proofs
for a bounded number of sessions. |
| 15:00 - 15:30 | Pascal Lafourcade.
Title: Relation between Unification Problem
and Intruder Deduction Problem |
| 15:30 - 16:00 | Break |
| 16:00 - 16:30 | John Mitchell, Arnab Roy and Mukund Sundararajan.
Title: An Automated Approach for Proving PCL invariants |
| 16:30 - 17:00 | Musab AlTurki, Jose Meseguer and Carl Gunter.
Title: Probabilistic Modeling and Analysis of
DoS Protection for the ASV Protocol |
| 17:00 - 17:30 | Business meeting |
Last modified: Sat Jun 21 09:16:11 EDT 2008 |