DESIRS

DESIRS (Développement de systèmes informatiques par raffinement des contraintes sécuritaires) studies extensions of refinement-based development formalisms by deontic operators in order to take into account concerns of security and permission.

Contact: Dominique Méry

Duration: 3 years, starting July 2003

Support: ACI SI (Action concertée initiative Sécurité informatique), a French consortium of projects in computer security

Partners:

Project page: detailed description