Login / Signup
Karim Dahmani
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Multilevel Secure
Security Policies
Computational Framework
Mandatory Access Control
Top Venues
ProvSec
FMS @ Petri Nets
</>
Publications
</>
Karim Dahmani
,
Mahjoub Langar
,
Riadh Robbana
A Formal Dynamic Verification of Choreographed Web Services Conversations.
ProvSec
(2015)
Mahjoub Langar
,
Karim Dahmani
Formal Enforcement of Security Policies on Choreographed Services.
FMS @ Petri Nets
(2014)