Enforcing Private Policy via Security-by-Contract

Gabriele Costa; Ilaria Matteucci

Journal Articles UPGRADE (European Journal for the Informatics Professional) Year : 2010

Enforcing Private Policy via Security-by-Contract

(1) , (1)

Gabriele Costa

Function : Author

Istituto di Informatica e Telematica

Ilaria Matteucci

Function : Author
PersonId : 867408

Istituto di Informatica e Telematica

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.

Domains

Software Engineering [cs.SE]

Fichier principal

IPM-Connect_2_.pdf (249.02 Ko)

Origin : Files produced by the author(s)

Emmanuelle Grousset : Connect in order to contact the contributor

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

Submitted on : Wednesday, November 24, 2010-10:35:17 AM

Last modification on : Friday, June 16, 2023-5:18:07 PM

Long-term archiving on: Friday, February 25, 2011-2:29:11 AM

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CONNECT

26 View

31 Download

Enforcing Private Policy via Security-by-Contract

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share