---
OA_place: repository
OA_type: green
_id: '20723'
abstract:
- lang: eng
  text: Information-flow interfaces is a formalism recently proposed for specifying,
    composing, and refining system-wide security requirements. In this work, we show
    how the widely used concept of security lattices provides a natural semantic interpretation
    for information-flow interfaces.
acknowledgement: This project was funded in part by the Austrian Science Fund (FWF)
  SFB project SpyCoDe F8502 and by the ERC-2020-AdG 101020093.
alternative_title:
- LNCS
article_processing_charge: No
arxiv: 1
author:
- first_name: Ezio
  full_name: Bartocci, Ezio
  last_name: Bartocci
- 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
  full_name: Oliveira da Costa, Ana
  id: f347ec37-6676-11ee-b395-a888cb7b4fb4
  last_name: Oliveira da Costa
  orcid: 0000-0002-8741-5799
citation:
  ama: 'Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-Flow
    Interfaces and Security Lattices. In: <i>Engineering Safe and Trustworthy Cyber
    Physical Systems</i>. Vol 15471. Cham: Springer Nature; 2025:251-263. doi:<a href="https://doi.org/10.1007/978-3-031-97537-0_15">10.1007/978-3-031-97537-0_15</a>'
  apa: 'Bartocci, E., Henzinger, T. A., Nickovic, D., &#38; Oliveira da Costa, A.
    (2025). Information-Flow Interfaces and Security Lattices. In <i>Engineering Safe
    and Trustworthy Cyber Physical Systems</i> (Vol. 15471, pp. 251–263). Cham: Springer
    Nature. <a href="https://doi.org/10.1007/978-3-031-97537-0_15">https://doi.org/10.1007/978-3-031-97537-0_15</a>'
  chicago: 'Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da
    Costa. “Information-Flow Interfaces and Security Lattices.” In <i>Engineering
    Safe and Trustworthy Cyber Physical Systems</i>, 15471:251–63. Cham: Springer
    Nature, 2025. <a href="https://doi.org/10.1007/978-3-031-97537-0_15">https://doi.org/10.1007/978-3-031-97537-0_15</a>.'
  ieee: 'E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-Flow
    Interfaces and Security Lattices,” in <i>Engineering Safe and Trustworthy Cyber
    Physical Systems</i>, vol. 15471, Cham: Springer Nature, 2025, pp. 251–263.'
  ista: 'Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025.Information-Flow
    Interfaces and Security Lattices. In: Engineering Safe and Trustworthy Cyber Physical
    Systems. LNCS, vol. 15471, 251–263.'
  mla: Bartocci, Ezio, et al. “Information-Flow Interfaces and Security Lattices.”
    <i>Engineering Safe and Trustworthy Cyber Physical Systems</i>, vol. 15471, Springer
    Nature, 2025, pp. 251–63, doi:<a href="https://doi.org/10.1007/978-3-031-97537-0_15">10.1007/978-3-031-97537-0_15</a>.
  short: E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering
    Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp.
    251–263.
corr_author: '1'
date_created: 2025-12-01T15:44:58Z
date_published: 2025-10-02T00:00:00Z
date_updated: 2025-12-09T07:57:55Z
day: '02'
department:
- _id: ToHe
doi: 10.1007/978-3-031-97537-0_15
ec_funded: 1
external_id:
  arxiv:
  - '2406.14374'
intvolume: '     15471'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2406.14374
month: '10'
oa: 1
oa_version: Preprint
page: 251-263
place: Cham
project:
- _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e
  grant_number: F8502
  name: Interface Theory for Security and Privacy
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
  call_identifier: H2020
  grant_number: '101020093'
  name: Vigilant Algorithmic Monitoring of Software
publication: Engineering Safe and Trustworthy Cyber Physical Systems
publication_identifier:
  eisbn:
  - '9783031975370'
  eissn:
  - 1611-3349
  isbn:
  - '9783031975363'
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Information-Flow Interfaces and Security Lattices
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 15471
year: '2025'
...