Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/219815
-
Titel: 
Information-Flow Interfaces and Security Lattices
en
Zitat: 
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
-
Verlags-DOI: 
10.1007/978-3-031-97537-0_15
-
Publikationstyp: 
Buchbeitrag - Beitrag in Sammelband
de
Sprache: 
Englisch
-
Autor_innen: 
Bartocci, Ezio 
Henzinger, Thomas A. 
Nickovic, Dejan 
Oliveira Da Costa, Ana 
-
Organisations­einheit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
E056-13 - Fachbereich LogiCS 
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems 
E056-26 - Fachbereich Automated Reasoning 
-
Erschienen 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
-
Datum (veröffentlicht): 
1-Okt-2025
-
Umfang: 
13
-
Verlag: 
Springer, Cham
-
Peer Reviewed: 
Ja
-
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
Projekttitel: 
Semantische und kryptografische Grundlagen von Informationssicherheit und Datenschutz durch modulares Design: F 8500 (FWF - Österr. Wissenschaftsfonds) 
-
Forschungs­schwerpunkte: 
Computer Engineering and Software-Intensive Systems: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Book Contribution

Zur Langanzeige

Seiten Aufrufe

41
aufgerufen am 09.10.2025

Google ScholarTM

Check