What packets may come: Automata for network monitoring

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

Research output: Contribution to journalConference articlepeer-review


A systematic presentation of passive monitoring as a language recognition problem is introduced. In addition, algorithms are presented for on-line monitoring of protocol execution A series of properties of device specifications or protocols that can be exploited to construct efficient language recognizers at the monitor is defined to address such problems. Furthermore, a systematic exploration of the space of properties that enables to construct efficient monitors is given.

Original languageEnglish (US)
Pages (from-to)206-219
Number of pages14
JournalConference Record of the Annual ACM Symposium on Principles of Programming Languages
StatePublished - 2001
Externally publishedYes
Event28th ACM SIGPLAN-SIGACT Symposiu on Principles of Programming Languages - London, United Kingdom
Duration: Jan 17 2001Jan 19 2001

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'What packets may come: Automata for network monitoring'. Together they form a unique fingerprint.

Cite this