BulDML at Institute of Mathematics and Informatics >
International Journal ITA >
2005 >
Volume 12 Number 4 >

Please use this identifier to cite or link to this item:

Title: Defining Network Activity Patterns Using First Order Temporal Logics
Authors: Stanchev, Lubomir
Keywords: Network Management
Temporal Logics
Issue Date: 2005
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: Part of network management is collecting information about the activities that go on around a distributed system and analyzing it in real time, at a deferred moment, or both. The reason such information may be stored in log files and analyzed later is to data-mine it so that interesting, unusual, or abnormal patterns can be discovered. In this paper we propose defining patterns in network activity logs using a dialect of First Order Temporal Logics (FOTL), called First Order Temporal Logic with Duration Constrains (FOTLDC). This logic is powerful enough to describe most network activity patterns because it can handle both causal and temporal correlations. Existing results for data-mining patterns with similar structure give us the confidence that discovering DFOTL patterns in network activity logs can be done efficiently.
ISSN: 1313-0463
Appears in Collections:Volume 12 Number 4

Files in This Item:

File Description SizeFormat
ijita12-4-p03.pdf117.5 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!   Creative Commons License