MHonArc v2.5.0b2 -->
xacml message
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
--
[Date Index]
| [Thread Index]
| [List Home]
Subject: Re: [xacml] Draft Minutes - November 13
From: Anne Anderson <>
To: Michael McIntosh <>
Date: Thu, 13 Nov 2003 10:42:47 -0500
Mike, thanks for doing these!
On 13 November, Michael McIntosh writes: [xacml] Draft Minutes - November 13
> Anne: Focus group talked about Polar's document.
vFormal Semantics of XACML
> Possibility of turning it into a tutorial.
xxxxxxxxxxxxxxxxxxxxxxxxxxx
holding a tutorial on Haskell at the next XACML
F2F. Haskell is the language Polar used to
specify the formal semantics of XACML.
Add: The group would like Polar Humenn to post a list of the
ambiguities and problems his formal analysis uncovered.
> Work Item: Polar noted ambiguity of status codes. Seth also sent msgs to
> list to that effect.
I believe this was actually about WI#46: "Status detail for
missing attributes", and not about status codes. This was
discussed more after discussion of WI#7.
> One item posted to list - small adjustment to item 7.
v"ConditionReference.
This item has now been accepted in general, and is waiting
for the line-by-line specification changes before final vote.
> Hal: Was hoping to hear from Kudo-san.
>
> Seth: Status Issue - want to be able to specify attribute without value.
> Anne: Already accepted this.
> Hal: Want to have two definitions (one where value is required and one
> where it isn't)
This is WI#46. "Status detail for missing attributes".
Anne
--
Anne H. Anderson Email:
Sun Microsystems Laboratories
1 Network Drive,UBUR02-311 Tel: 781/442-0928
Burlington, MA 01803-0902 USA Fax: 781/442-1692
