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.SCOPUS: cp.pinfo:eu-repo/semantics/publishe
Cyber–Physical Systems (CPS) are distributed systems in which the state of the physical system is ge...
International audienceNon-interference (NI) is a property of systems stating that confidential actio...
Vector clocks are the appropriate mechanism used to track causality among the events produced by a d...
We consider communication structures for event ordering algorithms in distributed environments where...
In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifyi...
Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communic...
Abstract An important problem in analyzing distributed computations is the amount of information. In...
An important problem in analyzing distributed computations is the amount of information. In event-ba...
Control in distributed systems is mainly introduced to reduce non-determinism. This non-determinism ...
AbstractThis paper presents an event-based kernel library designed to explicitly construct and coord...
We discuss two fundamental problems that arise in distributed systems. First, how to determine the o...
We discuss the role of order in building distributed systems. It is our belief that a "principle of...
This paper presents an event-based kernel library designed to explicitly construct and coordinate co...
Events are of increasing importance in modern distributed systems. Growing interconnectivity and con...
: In this paper, we propose an event specification language, which incorporates a calendar algebra t...
Cyber–Physical Systems (CPS) are distributed systems in which the state of the physical system is ge...
International audienceNon-interference (NI) is a property of systems stating that confidential actio...
Vector clocks are the appropriate mechanism used to track causality among the events produced by a d...
We consider communication structures for event ordering algorithms in distributed environments where...
In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifyi...
Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communic...
Abstract An important problem in analyzing distributed computations is the amount of information. In...
An important problem in analyzing distributed computations is the amount of information. In event-ba...
Control in distributed systems is mainly introduced to reduce non-determinism. This non-determinism ...
AbstractThis paper presents an event-based kernel library designed to explicitly construct and coord...
We discuss two fundamental problems that arise in distributed systems. First, how to determine the o...
We discuss the role of order in building distributed systems. It is our belief that a "principle of...
This paper presents an event-based kernel library designed to explicitly construct and coordinate co...
Events are of increasing importance in modern distributed systems. Growing interconnectivity and con...
: In this paper, we propose an event specification language, which incorporates a calendar algebra t...
Cyber–Physical Systems (CPS) are distributed systems in which the state of the physical system is ge...
International audienceNon-interference (NI) is a property of systems stating that confidential actio...
Vector clocks are the appropriate mechanism used to track causality among the events produced by a d...