A categorical approach in handling event-ordering in distributed systems

Dimitrios Sisiaridis, Veronika Kuchta, Olivier Markowitch

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

3 Citations (Scopus)

Abstract

The issue of event-ordering in distributed systems is crucial an connected to threat management. In this paper, we investigate the use of modifications for handling event-ordering. We employ category theory to strike a balance between Lamport clocks, which enforce global order but lose information about causality, and Vector clocks, which have more precise causality information but do not scale well. We extend previous work on Godement calculus and cartesian closed comma categories for information security management. Finally, we propose a framework for implementing our approach in the detection of threats and attacks in communication systems.

Original languageEnglish
Title of host publicationProceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016
EditorsXiaofei Liao, Robert Lovas, Xipeng Shen, Ran Zheng
Place of PublicationPiscataway NJ USA
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages1145-1150
Number of pages6
ISBN (Electronic)9781509044573
ISBN (Print)9781509053827
DOIs
Publication statusPublished - 2016
Externally publishedYes
EventIEEE International Conference on Parallel and Distributed Systems Workshop 2016 - Wuhan, Hubei, China
Duration: 13 Dec 201613 Dec 2016
http://grid.hust.edu.cn/icpads2016/

Conference

ConferenceIEEE International Conference on Parallel and Distributed Systems Workshop 2016
Abbreviated titleICPADSW 2016
CountryChina
CityWuhan, Hubei
Period13/12/1613/12/16
Internet address

Keywords

  • Category theory
  • Distributed systems
  • Event-ordering
  • Threat detection

Cite this

Sisiaridis, D., Kuchta, V., & Markowitch, O. (2016). A categorical approach in handling event-ordering in distributed systems. In X. Liao, R. Lovas, X. Shen, & R. Zheng (Eds.), Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016 (pp. 1145-1150). [7823865] Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICPADS.2016.0150
Sisiaridis, Dimitrios ; Kuchta, Veronika ; Markowitch, Olivier. / A categorical approach in handling event-ordering in distributed systems. Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016. editor / Xiaofei Liao ; Robert Lovas ; Xipeng Shen ; Ran Zheng. Piscataway NJ USA : IEEE, Institute of Electrical and Electronics Engineers, 2016. pp. 1145-1150
@inproceedings{69350083d89e4a54a34a37ced9f00014,
title = "A categorical approach in handling event-ordering in distributed systems",
abstract = "The issue of event-ordering in distributed systems is crucial an connected to threat management. In this paper, we investigate the use of modifications for handling event-ordering. We employ category theory to strike a balance between Lamport clocks, which enforce global order but lose information about causality, and Vector clocks, which have more precise causality information but do not scale well. We extend previous work on Godement calculus and cartesian closed comma categories for information security management. Finally, we propose a framework for implementing our approach in the detection of threats and attacks in communication systems.",
keywords = "Category theory, Distributed systems, Event-ordering, Threat detection",
author = "Dimitrios Sisiaridis and Veronika Kuchta and Olivier Markowitch",
year = "2016",
doi = "10.1109/ICPADS.2016.0150",
language = "English",
isbn = "9781509053827",
pages = "1145--1150",
editor = "Xiaofei Liao and Robert Lovas and Xipeng Shen and Ran Zheng",
booktitle = "Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
address = "United States of America",

}

Sisiaridis, D, Kuchta, V & Markowitch, O 2016, A categorical approach in handling event-ordering in distributed systems. in X Liao, R Lovas, X Shen & R Zheng (eds), Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016., 7823865, IEEE, Institute of Electrical and Electronics Engineers, Piscataway NJ USA, pp. 1145-1150, IEEE International Conference on Parallel and Distributed Systems Workshop 2016, Wuhan, Hubei, China, 13/12/16. https://doi.org/10.1109/ICPADS.2016.0150

A categorical approach in handling event-ordering in distributed systems. / Sisiaridis, Dimitrios; Kuchta, Veronika; Markowitch, Olivier.

Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016. ed. / Xiaofei Liao; Robert Lovas; Xipeng Shen; Ran Zheng. Piscataway NJ USA : IEEE, Institute of Electrical and Electronics Engineers, 2016. p. 1145-1150 7823865.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

TY - GEN

T1 - A categorical approach in handling event-ordering in distributed systems

AU - Sisiaridis, Dimitrios

AU - Kuchta, Veronika

AU - Markowitch, Olivier

PY - 2016

Y1 - 2016

N2 - The issue of event-ordering in distributed systems is crucial an connected to threat management. In this paper, we investigate the use of modifications for handling event-ordering. We employ category theory to strike a balance between Lamport clocks, which enforce global order but lose information about causality, and Vector clocks, which have more precise causality information but do not scale well. We extend previous work on Godement calculus and cartesian closed comma categories for information security management. Finally, we propose a framework for implementing our approach in the detection of threats and attacks in communication systems.

AB - The issue of event-ordering in distributed systems is crucial an connected to threat management. In this paper, we investigate the use of modifications for handling event-ordering. We employ category theory to strike a balance between Lamport clocks, which enforce global order but lose information about causality, and Vector clocks, which have more precise causality information but do not scale well. We extend previous work on Godement calculus and cartesian closed comma categories for information security management. Finally, we propose a framework for implementing our approach in the detection of threats and attacks in communication systems.

KW - Category theory

KW - Distributed systems

KW - Event-ordering

KW - Threat detection

UR - http://www.scopus.com/inward/record.url?scp=85018494379&partnerID=8YFLogxK

U2 - 10.1109/ICPADS.2016.0150

DO - 10.1109/ICPADS.2016.0150

M3 - Conference Paper

SN - 9781509053827

SP - 1145

EP - 1150

BT - Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016

A2 - Liao, Xiaofei

A2 - Lovas, Robert

A2 - Shen, Xipeng

A2 - Zheng, Ran

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Piscataway NJ USA

ER -

Sisiaridis D, Kuchta V, Markowitch O. A categorical approach in handling event-ordering in distributed systems. In Liao X, Lovas R, Shen X, Zheng R, editors, Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers. 2016. p. 1145-1150. 7823865 https://doi.org/10.1109/ICPADS.2016.0150