Record link: 
http://hdl.handle.net/20.500.12708/219815
-
Title: 
Information-Flow Interfaces and Security Lattices
en
Citation: 
Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira Da Costa, A. (2025). Information-Flow Interfaces and Security Lattices. In M. Fränzle, J. Niehaus, & B. Westphal (Eds.), Engineering Safe and Trustworthy Cyber Physical Systems : Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday (Vol. 15471, pp. 251–263). Springer. https://doi.org/10.1007/978-3-031-97537-0_15
-
Publisher DOI: 
10.1007/978-3-031-97537-0_15
-
Publication Type: 
Book Contribution - Edited Volume Contribution
en
Language: 
English
-
Authors: 
Bartocci, Ezio 
Henzinger, Thomas A. 
Nickovic, Dejan 
Oliveira Da Costa, Ana 
-
Organisational Unit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
E056-13 - Fachbereich LogiCS 
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems 
E056-26 - Fachbereich Automated Reasoning 
-
Published in: 
Engineering Safe and Trustworthy Cyber Physical Systems : Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday 
-
ISBN: 
978-3-031-97537-0
-
Date (published): 
1-Oct-2025
-
Number of Pages: 
13
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Information-flow interfaces; Verification; Hyperproperties
en
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.
en
Project title: 
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design: F 8500 (FWF - Österr. Wissenschaftsfonds) 
-
Research Areas: 
Computer Engineering and Software-Intensive Systems: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Book Contribution

Show full item record

Page view(s)

117
checked on Oct 9, 2025

Google ScholarTM

Check