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 language||English (US)|
|Number of pages||14|
|Journal||Conference Record of the Annual ACM Symposium on Principles of Programming Languages|
|State||Published - 2001|
|Event||28th ACM SIGPLAN-SIGACT Symposiu on Principles of Programming Languages - London, United Kingdom|
Duration: Jan 17 2001 → Jan 19 2001
ASJC Scopus subject areas