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
Country/TerritoryChina
CityWuhan, Hubei
Period13/12/1613/12/16
Internet address

Keywords

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

Cite this