Poster: State Tracking and Verification for Distributed Nodes through Traffic Inspection
Key: AZS24-2
Author: Konrad Altenhofen, Julian Zobel, Björn Scheuermann
Date: June 2024
Kind: In proceedings
Publisher: ACM
Book title: Proceedings of the 18th ACM International Conference on Distributed and Event- based Systems (DEBS ’24)
Keywords: traffic inspection, state tracking, transition validation
Abstract: Keeping track of protocol, node, or system states in a distributed network is non-trivial. However, state tracking combined with predefined allowed transitions for each state is essential to verify that nodes adhere to the specification and, finally, to detect faulty or malicious nodes. Typically, existing systems only consider context in network flows instead of the full states or use a simplified state model. Therefore, we examine challenges and factors influencing a state tracking and verification system.
View Full paper (PDF) | Download Full paper (PDF)

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.