Statistics
Publications
1
Citations
11
H-Index
1
Active since
2004
Affiliations
University of Bremen(Current)
P. Torrini is an author at University of Bremen specializing in authorization, isabelle/hol, and system security.
Publications per year
2004–2004
1
1
A first step towards formal verification of security policy properties for RBAC
Michael Drouineaud, Maksym Bortin, P. Torrini et al. · 2004 · 11 citations
1–1 of 1