Friday, 7 September 2007

Session 1: 9.30 – 11.00

The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing
Hyun-Seok Kim et al

Using Genetic Algorithms in Security Protocols: Interpretation of Binary Strings
Miguel Soriano et al

A New Certified Email Protocol
Hao Wang et al

12.30 – 14.00 Lunch

Session 2: 14.00 – 15.30

An Anonymous Account-Based Mobile Payment Protocol for a Restricted Connectivity Scenario Jesus Tellez Isaac et al

Distributed and local security policies for grid web-based resources
Serena Pastore et al

Security analysis of a new multi-party payment protocol with intermediary
Mildrey Carbonell et al

15.30 – 16.00 CoffeeBreak

Session 3: 16.00 – 17.00

Using Description Logic and Rules to Determine XML Access Control
Brian Shields et al

A new domain-based model for m-commerce
Diego Suarez et al