Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
SecPAL Formalization and Extensions

Moritz Y. Becker


This report presents an updated formalization of standard SecPAL as well as possible extensions to the language, including IN/OUT-safety, guarded universal quantification, infinite policies and assertion providers, and hierarchical parameters.


Publication typeTechReport
PublisherMicrosoft Research
> Publications > SecPAL Formalization and Extensions