CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Prototypes  \  Prototype Page Login  
banner bottom
File Top
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.

Date: October, 2011


Authors: Hugo Torres Vieira, João Costa Seco, Jorge A. Pérez, Luísa Lourenço, Luis Caires, Miguel Domingues
File Bottom