A type system for Discretionary Access Control

Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio. A type system for Discretionary Access Control. Mathematical Structures in Computer Science, 19(4):839-875, 2009. [doi]

Authors

Michele Bugliesi

This author has not been identified. Look up 'Michele Bugliesi' in Google

Dario Colazzo

This author has not been identified. Look up 'Dario Colazzo' in Google

Silvia Crafa

This author has not been identified. Look up 'Silvia Crafa' in Google

Damiano Macedonio

This author has not been identified. Look up 'Damiano Macedonio' in Google