Can I read What Packets May Come: Automata for Network Monitoring on EtoBox?

What Packets May Come: Automata for Network Monitoring by Karthikeyan Bhargavan; Satish Chandra; Peter J. McCann; Carl A. Gunter is a Computer Science article available to read on EtoBox.

What is What Packets May Come: Automata for Network Monitoring about?

We consider the problem of monitoring an interactive device, such as an implementation of a network protocol, in order to check whether its execution is consistent with its specification. At rst glance, it appears that a monitor could simply follow the input-output trace of the device and check it against the specification. However, if the monitor is able to observe inputs and outputs only from a vantage point __external__ to the device---as is typically the case---the problem becomes surprisingly difficult. This is because events may be bu ered, and even lost, between the monitor and the device, in which case, even for a correctly running device, the trace observed at the monitor could be inconsistent with the specification.In this paper, we formulate the problem of external monitoring as a __language recognition problem__ . Given a specification that accepts a certain language of input-output sequences, we de ne another language that corresponds to input-output sequences observable externally. We also give an algorithm to check membership of a string in the derived language. It turns out that without any assumptions on the specification, this algorithm may take unbounded time and

Who reads What Packets May Come: Automata for Network Monitoring?

Author

Karthikeyan Bhargavan; Satish Chandra; Peter J. McCann; Carl A. Gunter

Publisher

ACM

Published

2001

Language

EN

Field

Computer Science (Physical Sciences)