Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1012.5590
Cited By
Automated Symbolic Analysis of ARBAC-Policies (Extended Version)
27 December 2010
A. Armando
Silvio Ranise
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Automated Symbolic Analysis of ARBAC-Policies (Extended Version)"
1 / 1 papers shown
Title
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version)
Combi Carlo
Luca Vigano
Matteo Zavatteri
25
22
0
20 Dec 2015
1
