OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

xacml-users message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: Re: XACML Semantics

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:

Vladimir Kolovski

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

> 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>

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]