A Type Discipline for Authorization Policies (2007)

by Cédric Fournet , Andrew D. Gordon , Sergio Maffeis

Document Versions

A Type Discipline for Authorization Policies –Cédric Fournet, Andrew D. Gordon, Sergio Maffeis — 2007