Corpus ID: 6024830

Compiling Stateful Network Properties for Runtime Verification

@article{Nelson2016CompilingSN,
  title={Compiling Stateful Network Properties for Runtime Verification},
  author={T. Nelson and Nicholas DeMarinis and T. Hoff and Rodrigo Fonseca and S. Krishnamurthi},
  journal={ArXiv},
  year={2016},
  volume={abs/1607.03385}
}
  • T. Nelson, Nicholas DeMarinis, +2 authors S. Krishnamurthi
  • Published 2016
  • Computer Science
  • ArXiv
  • Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffectual for detecting behavioral deviations induced by hardware faults, security failures, and so on, so dynamic property monitoring is also valuable. Unfortunately, existing monitoring and runtime verification for networks largely focuses on properties about individual packets (such as connectivity) or requires a digest… CONTINUE READING

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 43 REFERENCES
    Compiling Path Queries
    • 65
    • PDF
    Packet-Level Telemetry in Large Datacenter Networks
    • 100
    • PDF
    Kinetic: Verifiable Dynamic Network Control
    • 121
    • PDF