Enforcing Private Policy via Security-by-Contract

Abstract : This work aims to investigate how the Security-by-Contract paradigm, developed for providing security assurances to mobile applications, can be used for guaranteeing the security of communicating systems composed by several, heterogeneous components.
Type de document :
Article dans une revue
UPGRADE (European Journal for the Informatics Professional), CEPIS, 2010, pp.1
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536716
Contributeur : Emmanuelle Grousset <>
Soumis le : mercredi 24 novembre 2010 - 10:35:17
Dernière modification le : jeudi 25 novembre 2010 - 15:34:12
Document(s) archivé(s) le : vendredi 25 février 2011 - 02:29:11

Fichier

IPM-Connect_2_.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536716, version 1

Collections

Citation

Gabriele Costa, Ilaria Matteucci. Enforcing Private Policy via Security-by-Contract. UPGRADE (European Journal for the Informatics Professional), CEPIS, 2010, pp.1. 〈inria-00536716〉

Partager

Métriques

Consultations de la notice

70

Téléchargements de fichiers

46