Linkedin
Projects • 

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
Start Date
01/05/2009
End Date
31/12/2012
Coordinator
FCT UNL
Partners
FCT UNL, FFCUL (LaSIGE)
Status
Closed