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


Help: OASIS Mailing Lists Help | MarkMail Help

security-services message

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

Subject: fyi: Distributed Knowledge Authorization Language

Of possible interest, perhaps...

-------- Original Message --------
Subject: TUESDAY 27 Nov - Yuri Gurevich - Distributed Knowledge Authorization
Date: Sat, 24 Nov 2007 13:40:41 -0800
To: security-seminar@lists.stanford.edu

Distributed Knowledge Authorization Language

Speaker: Yuri Gurevich, Microsoft Research


DKAL is a new expressive declarative authorization language for
distributed systems.  It is designed with user-centric access control
in mind, and it features targeted communication and nested quotations.
  Knowledge plays a key role in DKAL.  In principle, every principal
computes "his" own knowledge.  A resource manager permits the use of
the resource if he concludes, on the basis of information available to
him, that the permission should be granted.  DKAL rests on the firm
foundation of existential fixed-point logic. It has not been
implemented yet.

27 Nov (Tuesday) at 1630 hrs

Gates 4B (opposite 490)

Stanford Security Seminar on Google Calendar:
security-seminar mailing list

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