Information Flow Security for Stochastic Processes

Jane Hillston; Andrea Marin; Carla Piazza; Sabina Rossi

doi:10.1007/978-3-030-02227-3_10

Information Flow Security for Stochastic Processes

Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this paper we study an information flow security property for systems specified as terms of a quantitative process algebra, namely Performance Evaluation Process Algebra (PEPA). Intuitively, we propose a quantitative extension of the Non Interference property used to secure systems from the functional point view by assuming that the observers are able to measure also the timing properties of the system, e.g., the response time or the throughput.
We introduce the notion of Persistent Stochastic Non-Interference (PSNI) and provide two characterizations of it: one based on a bisimulation-like equivalence relation inducing a lumping on the underlying Markov chain, and another one based on unwinding conditions which demand properties of individual actions. These two different characterizations naturally lead to efficient methods for the verification and construction of secure systems. A decision algorithm for PSNI is presented and an application of PSNI to a queueing system is discussed.

Original language	English
Title of host publication	15th European Performance Engineering Workshop
Place of Publication	Paris, France
Publisher	Springer
Number of pages	15
ISBN (Electronic)	978-3-030-02227-3
ISBN (Print)	978-3-030-02226-6
DOIs	https://doi.org/10.1007/978-3-030-02227-3_10
Publication status	Published - 3 Oct 2018
Event	15th European Performance Engineering Workshop - Paris, France Duration: 29 Oct 2018 → 30 Oct 2018 http://epew2018.lacl.fr/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Cham
Volume	11178
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Programming and Software Engineering
Volume	11178

Conference

Conference	15th European Performance Engineering Workshop
Abbreviated title	EPEW 2018
Country/Territory	France
City	Paris
Period	29/10/18 → 30/10/18
Internet address	http://epew2018.lacl.fr/

Access to Document

10.1007/978-3-030-02227-3_10

Information Flow Security for Stochastic ProcessesAccepted author manuscript, 369 KB

https://link.springer.com/chapter/10.1007/978-3-030-02227-3_10

Cite this

@inproceedings{243bfdceed9244afafaf3fbe5f23d53a,

title = "Information Flow Security for Stochastic Processes",

abstract = "In this paper we study an information flow security property for systems specified as terms of a quantitative process algebra, namely Performance Evaluation Process Algebra (PEPA). Intuitively, we propose a quantitative extension of the Non Interference property used to secure systems from the functional point view by assuming that the observers are able to measure also the timing properties of the system, e.g., the response time or the throughput. We introduce the notion of Persistent Stochastic Non-Interference (PSNI) and provide two characterizations of it: one based on a bisimulation-like equivalence relation inducing a lumping on the underlying Markov chain, and another one based on unwinding conditions which demand properties of individual actions. These two different characterizations naturally lead to efficient methods for the verification and construction of secure systems. A decision algorithm for PSNI is presented and an application of PSNI to a queueing system is discussed.",

author = "Jane Hillston and Andrea Marin and Carla Piazza and Sabina Rossi",

year = "2018",

month = oct,

day = "3",

doi = "10.1007/978-3-030-02227-3\_10",

language = "English",

isbn = "978-3-030-02226-6",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "15th European Performance Engineering Workshop",

address = "United Kingdom",

note = "15th European Performance Engineering Workshop, EPEW 2018 ; Conference date: 29-10-2018 Through 30-10-2018",

url = "http://epew2018.lacl.fr/",

}

Hillston, J, Marin, A, Piazza, C & Rossi, S 2018, Information Flow Security for Stochastic Processes. in 15th European Performance Engineering Workshop. Lecture Notes in Computer Science, vol. 11178, Programming and Software Engineering, vol. 11178, Springer, Paris, France, 15th European Performance Engineering Workshop, Paris, France, 29/10/18. https://doi.org/10.1007/978-3-030-02227-3_10

Information Flow Security for Stochastic Processes. / Hillston, Jane; Marin, Andrea; Piazza, Carla et al.
15th European Performance Engineering Workshop. Paris, France: Springer, 2018. (Lecture Notes in Computer Science; Vol. 11178), (Programming and Software Engineering; Vol. 11178).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Information Flow Security for Stochastic Processes

AU - Hillston, Jane

AU - Marin, Andrea

AU - Piazza, Carla

AU - Rossi, Sabina

PY - 2018/10/3

Y1 - 2018/10/3

N2 - In this paper we study an information flow security property for systems specified as terms of a quantitative process algebra, namely Performance Evaluation Process Algebra (PEPA). Intuitively, we propose a quantitative extension of the Non Interference property used to secure systems from the functional point view by assuming that the observers are able to measure also the timing properties of the system, e.g., the response time or the throughput. We introduce the notion of Persistent Stochastic Non-Interference (PSNI) and provide two characterizations of it: one based on a bisimulation-like equivalence relation inducing a lumping on the underlying Markov chain, and another one based on unwinding conditions which demand properties of individual actions. These two different characterizations naturally lead to efficient methods for the verification and construction of secure systems. A decision algorithm for PSNI is presented and an application of PSNI to a queueing system is discussed.

AB - In this paper we study an information flow security property for systems specified as terms of a quantitative process algebra, namely Performance Evaluation Process Algebra (PEPA). Intuitively, we propose a quantitative extension of the Non Interference property used to secure systems from the functional point view by assuming that the observers are able to measure also the timing properties of the system, e.g., the response time or the throughput. We introduce the notion of Persistent Stochastic Non-Interference (PSNI) and provide two characterizations of it: one based on a bisimulation-like equivalence relation inducing a lumping on the underlying Markov chain, and another one based on unwinding conditions which demand properties of individual actions. These two different characterizations naturally lead to efficient methods for the verification and construction of secure systems. A decision algorithm for PSNI is presented and an application of PSNI to a queueing system is discussed.

U2 - 10.1007/978-3-030-02227-3_10

DO - 10.1007/978-3-030-02227-3_10

M3 - Conference contribution

SN - 978-3-030-02226-6

T3 - Lecture Notes in Computer Science

BT - 15th European Performance Engineering Workshop

PB - Springer

CY - Paris, France

T2 - 15th European Performance Engineering Workshop

Y2 - 29 October 2018 through 30 October 2018

ER -

Information Flow Security for Stochastic Processes

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this