Giorgio Zanin
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Towards a formal model for security policies specification and validation in the selinux system
Giorgio Zanin and others (2004) · ACM Symposium on Access Control Models and Technologies (SACMAT)