Re: [xacml] A public comment

[Polar Humenn <polar@syr.edu>]

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


Cheers,
-Polar

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