[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 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
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]