Enforcing Private Policy via Security-by-Contract - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles UPGRADE (European Journal for the Informatics Professional) Year : 2010

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.
Fichier principal
Vignette du fichier
IPM-Connect_2_.pdf (249.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00536716 , version 1

Cite

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

Collections

CONNECT
25 View
30 Download

Share

Gmail Facebook X LinkedIn More