Towards Probabilistic Session-Type Monitoring

Christian Bartolo Burlò; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto

doi:10.1007/978-3-030-78142-2_7

Towards Probabilistic Session-Type Monitoring

Christian Bartolo Burlò^*
, Adrian Francalanza
, Alceste Scalas
, Catia Trubiani
, Emilio Tuosto

^*Corresponding author for this work

Department of Applied Mathematics and Computer Science

Gran Sasso Science Institute
University of Malta

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

143 Downloads (Orbit)

Abstract

We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is augmented with a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.

Original language	English
Title of host publication	Coordination Models and Languages
Editors	Ferruccio Damiani, Ornela Dardha
Publisher	Springer
Publication date	2021
Pages	106-120
ISBN (Print)	9783030781415
DOIs	https://doi.org/10.1007/978-3-030-78142-2_7
Publication status	Published - 2021
Event	23^rd IFIP WG 6.1 International Conference on Coordination Models and Languagesec 2021 - Virtual, Online Duration: 14 Jun 2021 → 18 Jun 2021 http://www.discotec.org/2021/coordination.html

Conference

Conference	23^rd IFIP WG 6.1 International Conference on Coordination Models and Languagesec 2021
City	Virtual, Online
Period	14/06/2021 → 18/06/2021
Internet address	http://www.discotec.org/2021/coordination.html

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12717 LNCS
ISSN	0302-9743

Bibliographical note

Funding Information:
The work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Sk?lodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark.

Funding Information:
The work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Sk lodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark.

Publisher Copyright:
© 2021, IFIP International Federation for Information Processing.

Keywords

Monitor Synthesis
Probabilistic session types
Runtime Verification

Access to Document

10.1007/978-3-030-78142-2_7

FulltextAccepted author manuscript, 208 KB

https://arxiv.org/abs/2107.08729

OpenUrl availability

Check availability in DTU Findit

Cite this

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste et al. / Towards Probabilistic Session-Type Monitoring. Coordination Models and Languages . editor / Ferruccio Damiani ; Ornela Dardha. Springer, 2021. pp. 106-120 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

@inproceedings{aca39b69a5d8402796de3e5a929d6eb4,

title = "Towards Probabilistic Session-Type Monitoring",

abstract = "We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is augmented with a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.",

keywords = "Monitor Synthesis, Probabilistic session types, Runtime Verification",

author = "\{Bartolo Burl{\`o}\}, Christian and Adrian Francalanza and Alceste Scalas and Catia Trubiani and Emilio Tuosto",

note = "Funding Information: The work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Sk?lodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark. Funding Information: The work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Sk lodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark. Publisher Copyright: {\textcopyright} 2021, IFIP International Federation for Information Processing.; 23<sup>rd</sup> IFIP WG 6.1 International Conference on Coordination Models and Languagesec 2021, COORDINATION 2021 ; Conference date: 14-06-2021 Through 18-06-2021",

year = "2021",

doi = "10.1007/978-3-030-78142-2\_7",

language = "English",

isbn = "9783030781415",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "106--120",

editor = "Ferruccio Damiani and Ornela Dardha",

booktitle = "Coordination Models and Languages",

url = "http://www.discotec.org/2021/coordination.html",

}

Bartolo Burlò, C, Francalanza, A, Scalas, A, Trubiani, C & Tuosto, E 2021, Towards Probabilistic Session-Type Monitoring. in F Damiani & O Dardha (eds), Coordination Models and Languages . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12717 LNCS, pp. 106-120, 23^rd IFIP WG 6.1 International Conference on Coordination Models and Languagesec 2021, Virtual, Online, 14/06/2021. https://doi.org/10.1007/978-3-030-78142-2_7

Towards Probabilistic Session-Type Monitoring. / Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste et al.
Coordination Models and Languages . ed. / Ferruccio Damiani; Ornela Dardha. Springer, 2021. p. 106-120 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Towards Probabilistic Session-Type Monitoring

AU - Bartolo Burlò, Christian

AU - Francalanza, Adrian

AU - Scalas, Alceste

AU - Trubiani, Catia

AU - Tuosto, Emilio

N1 - Funding Information: The work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Sk?lodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark. Funding Information: The work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Sk lodowska-Curie action (No: 778233); the MIUR projects PRIN 2017FTXR7S IT MATTERS and 2017TWRCNB SEDUCE; the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark. Publisher Copyright: © 2021, IFIP International Federation for Information Processing.

PY - 2021

Y1 - 2021

N2 - We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is augmented with a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.

AB - We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is augmented with a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.

KW - Monitor Synthesis

KW - Probabilistic session types

KW - Runtime Verification

U2 - 10.1007/978-3-030-78142-2_7

DO - 10.1007/978-3-030-78142-2_7

M3 - Article in proceedings

AN - SCOPUS:85111374325

SN - 9783030781415

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 106

EP - 120

BT - Coordination Models and Languages

A2 - Damiani, Ferruccio

A2 - Dardha, Ornela

PB - Springer

T2 - 23<sup>rd</sup> IFIP WG 6.1 International Conference on Coordination Models and Languagesec 2021

Y2 - 14 June 2021 through 18 June 2021

ER -

Bartolo Burlò C, Francalanza A, Scalas A, Trubiani C, Tuosto E. Towards Probabilistic Session-Type Monitoring. In Damiani F, Dardha O, editors, Coordination Models and Languages . Springer. 2021. p. 106-120. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS). doi: 10.1007/978-3-030-78142-2_7

Towards Probabilistic Session-Type Monitoring

Abstract

Conference

Bibliographical note

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this