Accepted Papers

Workshop on Practice and Theory of Access Control Technologies

Accueil
Program Committee
Important Dates
Submissions
Organizing Committee
Accepted Papers
Registration

 

The proceedings of this workshop can be downloaded here

 

8:00 9:00
Registration for workshop
Breakfast
9:00 10:30 Invited Speaker, Mark Saaltink & Dan Craigen ORA/NORANICS
10:30 11:00 Coffee break
11:00 12:30
  •  ACXD : Access Control for XML Documents

 M.Adda, (U of M), M. Villanova-Oliver, J. Gensel, (LSR - IMAG)

  •  Context-based Coalition Access Control for Spontaneous   Networking

 R. Liscano, K. Wang, (U of O)

  •  Validating Access Control Policies with Alloy

 W. Hassan, (U of O), L. Logrippo, M. Mankai, (UQO)

12:30 14:00 Lunch break
14:00 15:30
  •  Threshold Semi-Anonymous Authorization of e-Transactions

 D. Nali, C. Adams, A. Miri, (U of O)

  •  Distributed Firewall Verification with Mobile Ambients

 K. Adi, A. El-Kabbal, L. Pene, (UQO)

  •  Detecting Variants of Known Attacks Using Temporal Logic

 L. Lespérance, M. Mejri, (U Laval)

15:30 16:00 Coffee break
16:00 17:30 Plenary session - Panel discussion.
17:30 19:00 Workshop reception

Accueil | Program Committee | Important Dates | Submissions | Organizing Committee | Accepted Papers | Registration

2004 LRSI.
last update : 02 December 2004.