AURA: A Programming Language with Authorization and Audit
Presented as part of the
2008 HCSS conference
.
License:
Creative Commons 2.5
Steve Zdancewic
Other available formats:
AURA: A Programming Language with Authorization and Audit
Switch to normal viewer
Switch to experimental viewer
