xacml — archive

[Polar Humenn]

On Tue, 12 Jun 2001, Simon Y. Blackwell wrote: > !!! I had almost introduced the concept of Horn Clauses a few days ago, but > I figured it might be too obscure. I do think it is something we should > explore when defining the policy language. However, coming to agreement on > the standard set of primitive predicates will be a substantial rub! Well, that's what I am doing and it seems to work quite nicely. The only problem you have, is that many people haven't taken classes in logic. :( Just as an aside, I find out that you have to restrict the Horn clauses you write, due to somebody handing you a rouge certificate containing an unterminating recursive definition. Kind of a bad thing,And of course, you need some standard primatives so you don't have entire character based prolog programs inside certificates. However, you can get alot done with just a few, and a full procedure. And you have a well defined evaluation semantics. Cheers, -Polar > > > >