Detail

Secure LiveWeb – Type Based Access Control in Web Applications

Secure LiveWeb is a development environment for web applications that statically ensures that applications will never violate security rules defined as properties of application data.
Secure LiveWeb builds on prior work on the LiveWeb domain specific language and development system (LiveWeb 2010) and extends it with a type based approach to detect security violations (Caires et al. 2011). The distinguishing feature of the type system is the ability of statically ensuring access control properties of runtime data.