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


Help: OASIS Mailing Lists Help | MarkMail Help

xacml message

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

Subject: Re: [xacml] A public comment

Ugg.. There are still some things wrong with this specification.

Line 4578 : all_of f a [] = False

should be:

	all_of f a [] = True

So, two changes need to be made to the current specification:

Line 4578: all_of f a [] = True

Line 4738: all_of_all f [] ys = True


On Thu, 20 Jan 2005, Polar Humenn wrote:

> Haruyuki is right on this issue. It is merely an editorial mistake. but
> what do we do about it for voting and approval, etc.
> Comment from: Haruyuki.Kawabe@unisys.co.jp
> In
> http://docs.oasis-open.org/xacml/access_control-xacml-2_0-core-spec-cd-04.pdf,
> the sencond clause of Haskell notation for function all-of-all (line 4738)
> should be
>     all_of_all f [] ys = True
> because the third clause (line 4739) conjugates with '&&' and it
> terminates with the second.
> If the result (right hand side) of the second clause is False, the result
> of the third cluase are always False for any bag specified  as the second
> argument of all_of_all.
> (Note: The first argument is a boolean function.)
> To unsubscribe from this mailing list (and be removed from the roster of the OASIS TC), go to http://www.oasis-open.org/apps/org/workgroup/xacml/members/leave_workgroup.php.

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