fyi: Distributed Knowledge Authorization Language

[=JeffH <Jeff.Hodges@neustar.biz>]

Of possible interest, perhaps...

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

Distributed Knowledge Authorization Language

Speaker: Yuri Gurevich, Microsoft Research

Abstract:

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:
http://www.google.com/calendar/embed?src=98e49qo62mapd82qi9468tahls%40group.calendar.google.com
--++**==--++**==--++**==--++**==--++**==--++**==--++**==
security-seminar mailing list
security-seminar@lists.stanford.edu
https://mailman.stanford.edu/mailman/listinfo/security-seminar