Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536716
Contributor : Emmanuelle Grousset Connect in order to contact the contributor
Submitted on : Wednesday, November 24, 2010 - 10:35:17 AM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM
Long-term archiving on: : Friday, February 25, 2011 - 2:29:11 AM

File

IPM-Connect_2_.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

25

Files downloads

19