AURA a security-oriented language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic constructs (e.g., principals and access control policies) in a uniform way.

AURA's authorization logic is based on polymorphic DCC and uses dependent types to permit assertions that refer directly to AURA values while keeping computation out of the assertion level to ensure tractability.

Download:

Papers:

People:

Steve Zdancewic, Associate Professor
Limin Jia, Post Doc.
Karl Mazurak, Ph.D. Student
Jeff Vaughan, Ph.D. Student
Jianzhou Zhao, Ph.D. Student
Luke Zarko, Undergraduate Student

Alumni:

Peng Li, Ph.D. Student
Joey Schorr, Masters Student


Last modified: Thu Sep 4 14:02:52 EDT 2008