---
res:
  bibo_abstract:
  - Contract-based design is a promising methodology for taming the complexity of
    developing sophisticated systems. A formal contract distinguishes between assumptions,
    which are constraints that the designer of a component puts on the environments
    in which the component can be used safely, and guarantees, which are promises
    that the designer asks from the team that implements the component. A theory of
    formal contracts can be formalized as an interface theory, which supports the
    composition and refinement of both assumptions and guarantees. Although there
    is a rich landscape of contract-based design methods that address functional and
    extra-functional properties, we present the first interface theory designed to
    ensure system-wide security properties. Our framework provides a refinement relation
    and a composition operation that support both incremental design and independent
    implementability. We develop our theory for both stateless and stateful interfaces.
    Additionally, we introduce information-flow contracts where assumptions and guarantees
    are sets of flow relations. We use these contracts to illustrate how to enrich
    information-flow interfaces with a semantic view. We illustrate the applicability
    of our framework with two examples inspired by the automotive domain.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Ezio
      foaf_name: Bartocci, Ezio
      foaf_surname: Bartocci
  - foaf_Person:
      foaf_givenName: Thomas
      foaf_name: Ferrere, Thomas
      foaf_surname: Ferrere
      foaf_workInfoHomepage: http://www.librecat.org/personId=40960E6E-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0001-5199-3143
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-2985-7724
  - foaf_Person:
      foaf_givenName: Dejan
      foaf_name: Nickovic, Dejan
      foaf_surname: Nickovic
      foaf_workInfoHomepage: http://www.librecat.org/personId=41BCEE5C-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Ana
      foaf_name: Oliveira da Costa, Ana
      foaf_surname: Oliveira da Costa
      foaf_workInfoHomepage: http://www.librecat.org/personId=f347ec37-6676-11ee-b395-a888cb7b4fb4
    orcid: 0000-0002-8741-5799
  bibo_doi: 10.1007/s10703-024-00447-0
  bibo_volume: 66
  dct_date: 2025^xs_gYear
  dct_identifier:
  - UT:001230084200001
  dct_isPartOf:
  - http://id.crossref.org/issn/0925-9856
  - http://id.crossref.org/issn/1572-8102
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Information-flow interfaces@
...