September 6, 2011: Seminar Announcement - Dr. Yuri Gurevich: "Logic, Policy, and Federation in the Cloud"

Seminar Announcement

Logic, Policy, and Federation in the Cloud

Dr. Yuri Gurevich
Microsoft Research
Tuesday, September 20, 2011
11:00 a.m., 1000 SEO Building


Imagine you manage a public cloud. You want to attract lucrative customers but they worry whether their data will be secure. They can encode data before putting it in the cloud and decode it upon removal but that doesn?t buy much to them (or to you). How can you add value? Cryptographers have many tricks but few of them are feasible at this point. But maybe we shouldn?t reinvent the wheel. How do enterprises interact in real world? Consider commerce for example. Buyers and sellers from very different (in geography, culture, political system) countries succeed in making mutually beneficial deals. The sellers get paid, and the buyers get their goods. How does it work? Well, there is an involved support system developed from centuries of experience: banks issue letters of credit, insurance companies underwrite transactions and transportation, etc. And numerous policies are enforced. Can we lift such support systems to the cloud scale and make them more efficient?

We believe the answer is YES. An important ingredient of the desired solution is a high-level policy language. As we mentioned above, numerous policies need to be enforced. They also need to be stated formally to allow automation, and they need to be high-level to allow comprehension and reasoning. The Distributed Knowledge Authorization Language (DKAL) was created for such purposes. It required foundational logic investigation, and it is in the process of tech transfer. This lecture is a popular introduction to DKAL and its applications.


Yuri Gurevich is Principal Researcher at Microsoft Research in Redmond, WA. He is also Prof. Emeritus at the University of Michigan, ACM Fellow, Guggenheim Fellow, a member of Academia Europaea, and Dr. Honoris Causa of a Belgian and Russian universities.

Host:Professor A. Prasad Sistla

Copyright 2016 The Board of Trustees
of the University of
Helping Women Faculty Advance
Funded by NSF