Not registered as user yet

Name: Michel St-Martin

Affiliation: University of Ottawa

Contributions

CPP 2016Author of A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules within the CPP-track