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

Moritz Y. Becker

Abstract

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.

Details

Publication typeTechReport
NumberMSR-TR-2009-127
PublisherMicrosoft Research
> Publications > SecPAL Formalization and Extensions