SETOP 2011 Program
September 15, Morning
08:45 - 09:00 Registration
09:00 - 09:15 Opening Remarks
Nieuwe Valk, Room: 01.31
09:15 - 10:30 Invited Talk
Room: 01.31, Chair: Joaquin Garcia-Alfaro
10:30 - 11:00 Coffee Break
11:00 - 12:30 Session 1: Security Derivation &
Requirement Engineering
Room: 01.31, Chair: Sabrina De Capitani di Vimercati
-
Using Requirements Engineering in an Automatic Security Policy Derivation Process
-
Mariem Graa (Telecom Bretagne/Telecom SudParis),
-
Nora Cuppens-Boulahia (Telecom Bretagne),
-
Fabien Autrel (Telecom Bretagne),
-
Hanieh Azkia (Telecom Bretagne),
-
Frederic Cuppens (Telecom Bretagne),
-
Gouenou Coatrieux (Telecom Bretagne),
-
Ana Cavalli (Telecom SudParis),
-
Amel Mammar (Telecom SudParis).
-
Web Services Verification and Prudent Implementation
-
Tigran Avanesov (INRIA Nancy),
-
Yannick Chevalier (Universite de Toulouse),
-
Mohamed-Anis Mekki (INRIA Nancy),
-
Michael Rusinowitch (INRIA Nancy).
-
Evolving Security Requirements
in Multi-Layered Service-Oriented-Architectures
-
Muhammad Sabir Idrees (Eurecom),
-
Gabriel Serme (SAP Research),
-
Yves Roudier (Eurecom),
-
Anderson Santana De Oliveira (SAP Research),
-
Herve Grall (Ecole des Mines de Nantes),
-
Mario Sudholt (Ecole des Mines de Nantes).
September 15, Afternoon
14:00 - 15:30 Invited Talk
Room: 01.31, Chair: Guillermo Navarro-Arribas
15:30 - 16:00 Coffee Break
16:00 - 17:45 Session 2: Access Control & Formal Methods
Room: 01.31, Chair: Frederic Cuppens
-
Risk-based Auto-Delegation for Probabilistic Availability
-
Leanid Krautsevich (University of Pisa),
-
Fabio Martinelli (IIT-CNR, Security Group),
-
Charles Morisset (IIT-CNR, Security Group),
-
Artsiom Yautsiukhin (IIT-CNR, Security Group).
-
Intra-role progression in RBAC: An RPG-like access control scheme
-
Carles Martinez-Garcia (Universitat Autonoma de Barcelona),
-
Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona),
-
Joan Borrell (Universitat Autonoma de Barcelona).
-
Distributed Orchestration of Web Services under Security Constraints
-
Tigran Avanesov (INRIA Nancy),
-
Yannick Chevalier (Universite de Toulouse),
-
Mohamed-Anis Mekki (INRIA Nancy),
-
Michael Rusinowitch (INRIA Nancy).
-
Mathieu Turuani (INRIA Nancy).
-
Controlling Data Dissemination
-
Helge Janicke (De Montfort University),
-
Mohamed Sarrab (De Montfort University),
-
Hamza Aldabbas (De Montfort University).
September 16, Morning
08:45 - 09:15 Session 3: Wireless Security Management
Room: 01.31, Chair: Joaquin Garcia-Alfaro
09:15 - 10:30 Invited Talk
10:30 - 11:00 Coffee Break
11:00 - 12:30 Session 4: Protocols & Network Security
Room: 01.31, Chair: Gildas Avoine
12:30 Farewell