INTERFACES

Full Title

Certified Interfaces for Integrity and Security of Extensible Web Applications

Description

The project aims at the development of new techniques for enforcing security, integrity, and correctness requirements on distributed extensible web‐based applications by introducing novel, semantically rich notions of interface description languages, based on advanced type systems and logics.

Funding Entity

FCT

Reference

CMU-PT/NGN/0044/2008

Start Date

01/05/2009

End Date

31/12/2012

Coordinator

FCT UNL

Partners

FCT UNL, FFCUL (LaSIGE)

Status

Closed