skip to main content
10.1145/3629104.3672431acmconferencesArticle/Chapter ViewAbstractPublication PagesdebsConference Proceedingsconference-collections
poster

State Tracking and Verification for Distributed Nodes through Traffic Inspection

Published: 22 July 2024 Publication History

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.

References

[1]
[n. d.]. flow - Snort 3 Rule Writing Guide. https://docs.snort.org/rules/options/non_payload/flow
[2]
2021. Matching connection tracking stateful metainformation - nftables wiki. https://wiki.nftables.org/wiki-nftables/index.php/Connection_Tracking_System
[3]
Clemens H. Cap. 2000. Distributed Transition Systems. Vieweg+Teubner Verlag, Wiesbaden, 59--116. https://doi.org/10.1007/978-3-322-86763-6_3

Index Terms

  1. State Tracking and Verification for Distributed Nodes through Traffic Inspection

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    DEBS '24: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems
    June 2024
    239 pages
    ISBN:9798400704437
    DOI:10.1145/3629104
    Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 22 July 2024

    Check for updates

    Author Tags

    1. state tracking
    2. traffic inspection
    3. transition validation

    Qualifiers

    • Poster
    • Research
    • Refereed limited

    Conference

    DEBS '24

    Acceptance Rates

    DEBS '24 Paper Acceptance Rate 15 of 30 submissions, 50%;
    Overall Acceptance Rate 145 of 583 submissions, 25%

    Upcoming Conference

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 31
      Total Downloads
    • Downloads (Last 12 months)31
    • Downloads (Last 6 weeks)4
    Reflects downloads up to 16 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media