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