2007年9月17日数据工程与知识工程重点实验室学术报告通知

发布时间:2007-09-04 09:35 浏览量:3470公告类型:学院公告
报告题目: Core Role-Based Access Control: Efficient Implementations by Transformations 报告人: Annie Liu (刘燕虹) State University of New York at Stony Brook 报告时间: 2007年9月17日(周一) 上午:10:00 – 11:30 报告地点: 信息楼四层,学术报告厅 报告摘要: This talk describes a transformational method applied to the core component of role-based access control (RBAC), to derive efficient implementations from a specification based on the ANSI standard for RBAC. The method is based on the idea of incrementally maintaining the result of expensive set operations, where a new method is described and used for systematically deriving incrementalization rules. We calculate precise complexities for three variants of efficient implementations as well as for a straightforward implementation based on the specification. We describe successful prototypes and experiments for the efficient implementations and for automatically generating efficient implementations from straightforward implementations. We will end with an overview of our other work on generating efficient implementations for constrained RBAC, information flow analysis, and trust management policy analysis. 报告人简介: Annie Liu is an Associate Professor in the Computer Science Department at the State University of New York at Stony Brook, and Coordinator of the Design and Analysis Research Lab affiliated with the Center for Cybersecurity. She received her BS from Peking University, MEng from Tsinghua University, and MS and PhD from Cornell University, all in Computer Science. She was a Post-Doc at Cornell University, an Assistant Professor at Indiana University, and a Member of the Chair Professor Group of Andrew Yao at Tsinghua University. Her primary research interests are in the areas of languages, compilers, and software systems, particularly in general and systematic methods for design and optimization. She has strong other interests in database, security, embedded systems, and distributed computing, and has also worked on uncertainty reasoning and expert systems. She is a member of IFIP WG2.1 and has served on 25 program committees and steering committees.