Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/819

 Title: Defining Network Activity Patterns Using First Order Temporal Logics Authors: Stanchev, Lubomir Keywords: Network ManagementTemporal 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. URI: http://hdl.handle.net/10525/819 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.

 DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback