Information-Flow Interfaces and Security Lattices
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.
Download (ext.)
Book Chapter
| Published
| English
Scopus indexed
Author
Corresponding author has ISTA affiliation
Department
Series Title
LNCS
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.
Publishing Year
Date Published
2025-10-02
Book Title
Engineering Safe and Trustworthy Cyber Physical Systems
Publisher
Springer Nature
Acknowledgement
This project was funded in part by the Austrian Science Fund (FWF) SFB project SpyCoDe F8502 and by the ERC-2020-AdG 101020093.
Volume
15471
Page
251-263
ISBN
ISSN
eISSN
IST-REx-ID
Cite this
Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-Flow Interfaces and Security Lattices. In: Engineering Safe and Trustworthy Cyber Physical Systems. Vol 15471. Cham: Springer Nature; 2025:251-263. doi:10.1007/978-3-031-97537-0_15
Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Information-Flow Interfaces and Security Lattices. In Engineering Safe and Trustworthy Cyber Physical Systems (Vol. 15471, pp. 251–263). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-97537-0_15
Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces and Security Lattices.” In Engineering Safe and Trustworthy Cyber Physical Systems, 15471:251–63. Cham: Springer Nature, 2025. https://doi.org/10.1007/978-3-031-97537-0_15.
E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-Flow Interfaces and Security Lattices,” in Engineering Safe and Trustworthy Cyber Physical Systems, vol. 15471, Cham: Springer Nature, 2025, pp. 251–263.
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.
Bartocci, Ezio, et al. “Information-Flow Interfaces and Security Lattices.” Engineering Safe and Trustworthy Cyber Physical Systems, vol. 15471, Springer Nature, 2025, pp. 251–63, doi:10.1007/978-3-031-97537-0_15.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Open Access
Export
Marked PublicationsOpen Data ISTA Research Explorer
Sources
arXiv 2406.14374
Google Scholar
ISBN Search