conference paper published yes Ezio Bartocci author Thomas Ferrere author 40960E6E-F248-11E8-B48F-1D18A9856A870000-0001-5199-3143 Thomas A Henzinger author 40876CD8-F248-11E8-B48F-1D18A9856A870000-0002-2985-7724 Dejan Nickovic author 41BCEE5C-F248-11E8-B48F-1D18A9856A87 Ana Oliveira Da Costa author ToHe department FASE: Fundamental Approaches to Software Engineering Vigilant Algorithmic Monitoring of Software project Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from the team that implements the component. A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees. Although there is a rich landscape of contract-based design methods that address functional and extra-functional properties, we present the first interface theory that is designed for ensuring system-wide security properties. Our framework provides a refinement relation and a composition operation that support both incremental design and independent implementability. We develop our theory for both stateless and stateful interfaces. We illustrate the applicability of our framework with an example inspired from the automotive domain. https://research-explorer.ista.ac.at/download/11355/11357/2022_LNCS_Bartocci.pdf application/pdfno Springer Nature2022Munich, Germany eng 0302-9743 1611-3349 9783030994280 00078239360000110.1007/978-3-030-99429-7_1 132413-22 https://research-explorer.ista.ac.at/record/17094 Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &#38; Da Costa, A. O. (2022). Information-flow interfaces. In <i>Fundamental Approaches to Software Engineering</i> (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-99429-7_1">https://doi.org/10.1007/978-3-030-99429-7_1</a> Bartocci, Ezio, et al. “Information-Flow Interfaces.” <i>Fundamental Approaches to Software Engineering</i>, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:<a href="https://doi.org/10.1007/978-3-030-99429-7_1">10.1007/978-3-030-99429-7_1</a>. Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.” In <i>Fundamental Approaches to Software Engineering</i>, 13241:3–22. Springer Nature, 2022. <a href="https://doi.org/10.1007/978-3-030-99429-7_1">https://doi.org/10.1007/978-3-030-99429-7_1</a>. Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow interfaces. In: <i>Fundamental Approaches to Software Engineering</i>. Vol 13241. Springer Nature; 2022:3-22. doi:<a href="https://doi.org/10.1007/978-3-030-99429-7_1">10.1007/978-3-030-99429-7_1</a> Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software Engineering, LNCS, vol. 13241, 3–22. E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow interfaces,” in <i>Fundamental Approaches to Software Engineering</i>, Munich, Germany, 2022, vol. 13241, pp. 3–22. E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22. 113552022-05-08T22:01:44Z2025-12-30T06:50:51Z