---
res:
  bibo_abstract:
  - 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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Ezio
      foaf_name: Bartocci, Ezio
      foaf_surname: Bartocci
  - 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/978-3-031-97537-0_15
  bibo_volume: 15471
  dct_date: 2025^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783031975363
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Information-Flow Interfaces and Security Lattices@
...