Static verification and enforcement of authorization policies

Stefano Calzavara. Static verification and enforcement of authorization policies. PhD thesis, Ca' Foscari University of Venice, Italy, 2013. [doi]

Abstract

Abstract is missing.