Accepted Papers

Workshop on Practice and Theory of Access Control Technologies

Program Committee
Important Dates
Organizing Committee
Accepted Papers


The proceedings of this workshop can be downloaded here


8:00 9:00
Registration for workshop
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.