---
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.\r\nAlthough there
    is a rich landscape of contract-based design methods that address functional and
    extra-functional properties, we present the first interface theory that is designed
    for ensuring 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. We illustrate the applicability of our framework with an example inspired
    from 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 Oliveira
      foaf_name: Da Costa, Ana Oliveira
      foaf_surname: Da Costa
  bibo_doi: 10.1007/978-3-030-99429-7_1
  bibo_volume: 13241
  dct_date: 2022^xs_gYear
  dct_identifier:
  - UT:000782393600001
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783030994280
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Information-flow interfaces@
...