xacml — archive
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
— [Date Index]
| [Thread Index]
| [Month Index]
| [List Home]
Re: [xacml] Draft Minutes - November 13
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 <[email protected]>
- To: Michael McIntosh <[email protected]>
- 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: [email protected]
Sun Microsystems Laboratories
1 Network Drive,UBUR02-311 Tel: 781/442-0928
Burlington, MA 01803-0902 USA Fax: 781/442-1692
- References:
- Draft Minutes - November 13
- From: Michael McIntosh <[email protected]>
- Draft Minutes - November 13
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
[Date Prev]
| [Thread Prev]
| [Thread Next]
| [Date Next]
— [Date Index]
| [Thread Index]
| [Month Index]
| [List Home]