A comprehensive approach to the automatic refinement and verification of access control policies

Manuel Cheminod, Luca Durante, Lucia Seno, Fulvio Valenza, Adriano Valenzano. A comprehensive approach to the automatic refinement and verification of access control policies. Computers & Security, 80:186-199, 2019. [doi]

Authors

Manuel Cheminod

This author has not been identified. Look up 'Manuel Cheminod' in Google

Luca Durante

This author has not been identified. Look up 'Luca Durante' in Google

Lucia Seno

This author has not been identified. Look up 'Lucia Seno' in Google

Fulvio Valenza

This author has not been identified. Look up 'Fulvio Valenza' in Google

Adriano Valenzano

This author has not been identified. Look up 'Adriano Valenzano' in Google