[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [xacml] Draft Minutes - November 13
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: Anne.Anderson@Sun.COM Sun Microsystems Laboratories 1 Network Drive,UBUR02-311 Tel: 781/442-0928 Burlington, MA 01803-0902 USA Fax: 781/442-1692
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]