Security and Trust Management - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642380037, 9783642380044
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lazy Security Controllers

2013 ◽  
pp. 33-48 ◽  
Author(s):  
Giulio Caravagna ◽  
Gabriele Costa ◽  
Giovanni Pardini

Boosting Model Checking to Analyse Large ARBAC Policies

2013 ◽  
pp. 273-288 ◽  
Author(s):  
Silvio Ranise ◽  
Anh Truong ◽  
Alessandro Armando
Keyword(s):  
Model Checking

A Datalog Semantics for Paralocks

2013 ◽  
pp. 305-320 ◽  
Author(s):  
Bart van Delft ◽  
Niklas Broberg ◽  
David Sands

scholarly journals Constrained Role Mining

2013 ◽  
pp. 289-304 ◽  
Author(s):  
Carlo Blundo ◽  
Stelvio Cimato
Keyword(s):  
Role Mining
Load More ...
Sign in / Sign up

Export Citation Format

Share Document