---
_id: '11355'
abstract:
- lang: eng
  text: "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."
acknowledgement: This project has received funding from the European Union’s Horizon
  2020 research and innovation programme under grant agreement No 956123 and was funded
  in part by the FWF project W1255-N23 and by the ERC-2020-AdG 101020093.
alternative_title:
- LNCS
article_processing_charge: No
author:
- first_name: Ezio
  full_name: Bartocci, Ezio
  last_name: Bartocci
- first_name: Thomas
  full_name: Ferrere, Thomas
  id: 40960E6E-F248-11E8-B48F-1D18A9856A87
  last_name: Ferrere
  orcid: 0000-0001-5199-3143
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000-0002-2985-7724
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
- first_name: Ana Oliveira
  full_name: Da Costa, Ana Oliveira
  last_name: Da Costa
citation:
  ama: 'Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow
    interfaces. In: <i>Fundamental Approaches to Software Engineering</i>. Vol 13241.
    Springer Nature; 2022:3-22. doi:<a href="https://doi.org/10.1007/978-3-030-99429-7_1">10.1007/978-3-030-99429-7_1</a>'
  apa: 'Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &#38; Da Costa,
    A. O. (2022). Information-flow interfaces. In <i>Fundamental Approaches to Software
    Engineering</i> (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-99429-7_1">https://doi.org/10.1007/978-3-030-99429-7_1</a>'
  chicago: Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and
    Ana Oliveira Da Costa. “Information-Flow Interfaces.” In <i>Fundamental Approaches
    to Software Engineering</i>, 13241:3–22. Springer Nature, 2022. <a href="https://doi.org/10.1007/978-3-030-99429-7_1">https://doi.org/10.1007/978-3-030-99429-7_1</a>.
  ieee: E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa,
    “Information-flow interfaces,” in <i>Fundamental Approaches to Software Engineering</i>,
    Munich, Germany, 2022, vol. 13241, pp. 3–22.
  ista: 'Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow
    interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental
    Approaches to Software Engineering, LNCS, vol. 13241, 3–22.'
  mla: Bartocci, Ezio, et al. “Information-Flow Interfaces.” <i>Fundamental Approaches
    to Software Engineering</i>, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:<a
    href="https://doi.org/10.1007/978-3-030-99429-7_1">10.1007/978-3-030-99429-7_1</a>.
  short: E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:,
    Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
conference:
  end_date: 2022-04-07
  location: Munich, Germany
  name: 'FASE: Fundamental Approaches to Software Engineering'
  start_date: 2022-04-02
date_created: 2022-05-08T22:01:44Z
date_published: 2022-03-29T00:00:00Z
date_updated: 2025-12-30T06:50:51Z
day: '29'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/978-3-030-99429-7_1
ec_funded: 1
external_id:
  isi:
  - '000782393600001'
file:
- access_level: open_access
  checksum: 7f6f860b20b8de2a249e9c1b4eee15cf
  content_type: application/pdf
  creator: dernst
  date_created: 2022-05-09T06:52:44Z
  date_updated: 2022-05-09T06:52:44Z
  file_id: '11357'
  file_name: 2022_LNCS_Bartocci.pdf
  file_size: 479146
  relation: main_file
  success: 1
file_date_updated: 2022-05-09T06:52:44Z
has_accepted_license: '1'
intvolume: '     13241'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 3-22
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: Fundamental Approaches to Software Engineering
publication_identifier:
  eissn:
  - 1611-3349
  isbn:
  - '9783030994280'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '17094'
    relation: extended_version
    status: public
scopus_import: '1'
status: public
title: Information-flow interfaces
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 13241
year: '2022'
...