Campus Event Calendar
Event Entry
New for: D2
What and Who
Controlling Access to Data: A Logic-Based Approach
Deepak Garg
Carnegie Mellon University
SWS Colloquium
Deepak Garg is a post-doctoral researcher in the Cybersecurity Lab
(CyLab) at Carnegie Mellon University. He obtained a Ph.D. at
Carnegie Mellon's Computer Science Department and an undergraduate
degree in Computer Science and Engineering from the Indian Institute
of Technology, New Delhi. His research interests are in the areas of
computer security and privacy, formal logic and programming languages.
AG 1, AG 2, SWS, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 4 April 2011
10:30
60 Minutes
E1 5
5th floor
Saarbrücken
Abstract
Sensitive data in many organizations such as intelligence, healthcare
and finance corporations, is often protected by complex access
policies that rely on a mix of signed credentials, clock time and
system state. Enforcement of such policies through conventional
mechanisms like access control lists is administratively
infeasible. Motivated by this disparity, this talk presents the
theoretical and practical aspects of a logic-based access control
subsystem for representing, interpreting, and enforcing access
policies. The theoretical underpinning of the subsystem is a new logic
to represent access policies, and its proof theory to determine their
consequences. By carefully separating policy interpretation, policy
decision, and policy enforcement, the subsystem leverages
(conventionally inefficient) logical tools to attain very high
throughput. The subsystem is evaluated in its implementation in a local
file system, and its expressiveness is validated through a case study
of policies used in the U.S. intelligence community.
Contact
Brigitta Hansen
0681 - 9325691
--email hidden
Video Broadcast
Yes
Kaiserslautern
G26
206
passcode not visible
logged in users only
Brigitta Hansen, 03/29/2011 15:17 -- Created document.