SecPAL Formalization and Extensions

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.

SecPAL formalization and extensions 2009-09-21 rev 02.pdf
PDF file

Publisher  Microsoft Research
© 2009 Microsoft Corporation. All rights reserved.

Details

TypeTechReport
NumberMSR-TR-2009-127
> Publications > SecPAL Formalization and Extensions