Enforcing Private Policy via Security-by-Contract - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue UPGRADE (European Journal for the Informatics Professional) Année : 2010

Enforcing Private Policy via Security-by-Contract

Gabriele Costa
  • Fonction : Auteur
Istituto di Informatica e Telematica
Ilaria Matteucci
  • Fonction : Auteur
  • PersonId : 867408
Istituto di Informatica e Telematica

Résumé

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.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
IPM-Connect_2_.pdf (249.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Emmanuelle Grousset  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00536716

Soumis le : mercredi 24 novembre 2010-10:35:17

Dernière modification le : vendredi 16 juin 2023-17:18:07

Archivage à long terme le : vendredi 25 février 2011-02:29:11

Télécharger pour visualiser

Dates et versions

inria-00536716 , version 1 (24-11-2010)

Identifiants

  • HAL Id : inria-00536716 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CONNECT
26 Consultations
31 Téléchargements

Partager

Gmail Facebook X LinkedIn More