Re: XACML Semantics

["Vladimir Kolovski" <vkolovski@gmail.com>]

Hi All,

Hm, I've attached the paper, but it doesn't seem it went through. Just in
case, here's a link to it:
http://www.mindswap.org/~kolovski/semantics.pdf

Cheers,
Vladimir Kolovski


On Sat, Mar 1, 2008 at 5:40 PM, Vladimir Kolovski <vkolovski@gmail.com>
wrote:

> Hi All,
>
> I have been working on a proof-theoretic formal semantics for XACML v.3.0that covers its administrative policy profile. My goal was to develop a
> concise formal specification of the language that can be further used to
> prove formal and complexity properties of XACML, as well as to provide a
> basis for proving correctness of logic-based XACML analyzers.
>
> I closely followed the official XACML specification to develop this
> semantics, however there still might be errors or omissions. If you find any
> problems with it please let me know. Any type of feedback would be greatly
> appreciated.
>
> Oh, and sorry for cross-posting.
> Cheers,
> Vladimir Kolovski
>
> PhD Candidate, Department of Computer Science
> University of Maryland - College Park
> http://www.mindswap.org/~kolovski <http://www.mindswap.org/%7Ekolovski>
>
>
>
>