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 language | English |
---|---|
Title of host publication | Proceedings 22nd IEEE International Conference on Parallel and Distributed Systems, ICPADS 2016 |
Editors | Xiaofei Liao, Robert Lovas, Xipeng Shen, Ran Zheng |
Place of Publication | Piscataway NJ USA |
Publisher | IEEE, Institute of Electrical and Electronics Engineers |
Pages | 1145-1150 |
Number of pages | 6 |
ISBN (Electronic) | 9781509044573 |
ISBN (Print) | 9781509053827 |
DOIs | |
Publication status | Published - 2016 |
Externally published | Yes |
Event | IEEE International Conference on Parallel and Distributed Systems Workshop 2016 - Wuhan, Hubei, China Duration: 13 Dec 2016 → 13 Dec 2016 http://grid.hust.edu.cn/icpads2016/ |
Conference
Conference | IEEE International Conference on Parallel and Distributed Systems Workshop 2016 |
---|---|
Abbreviated title | ICPADSW 2016 |
Country/Territory | China |
City | Wuhan, Hubei |
Period | 13/12/16 → 13/12/16 |
Internet address |
Keywords
- Category theory
- Distributed systems
- Event-ordering
- Threat detection