Guy Helmer, Johnny Wong, Mark Slagell, Vasant Honavar, Les Miller, Robyn Lutz  Home/Search
Context Related
| iastate.edu/~ghelmer/CPNIDS.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iastate.edu/Research/Int...Papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Colored Petri Nets (CPNs) are examined for use as a design speci cation for an Intrusion Detection System (IDS). Hierarchical CPNs are created to detect critical stages of intrusions. Two examples of intrusions demonstrate how the Colored Petri Net approach has been used in development of the IDS. The IDS under development is a collection of mobile agents that detect, classify, and correlate system and network activities. The approach of using Colored Petri Nets to design and implement the... (Update)
Context of citations to this paper: More
.... preserving transformation, into Colored Petri Nets (CPNs) that serve as the design specification of the mobile agents in the IDS [11]. Interactive simulation of these CPNs gives additional verification that the design satisfies the requirements (i.e. blocks the...
Cited by: More
A Software Fault Tree Approach to Requirements.. - Helmer, Wong.. (2001) (Correct)
Similar documents (at the sentence level):
36.4%: Software Fault Tree and Colored Petri Net Based.. - Helmer, Wong.. (2002) (Correct)
Active bibliography (related documents): More All
0.4: Intrusion Detection: A Bibliography - Mé, Michel (2001) (Correct)
0.2: Class-Confidence Critic Combining - Aksela, Girdziusas, Laaksonen, Oja, .. (Correct)
0.2: Representation of Information in Neural Networks - Melnik (2000) (Correct)
Similar documents based on text: More All
0.5: Remote Attack Detection Method in IDA: MLSI-Based.. - Asaka, Onabura, Inoue (Correct)
0.5: An Intrusion Alert Correlator Based on Prerequisites of Intrusions - Ning, Cui (2002) (Correct)
0.4: Automated Discovery of Concise Predictive Rules for.. - Helmer, Wong.. (2001) (Correct)
Related documents from co-citation: More All
2: distributed denial of service attack tool (context) - Dittrich - 1999
BibTeX entry: (Update)
Helmer, G., Wong, J., Slagell, M., Honavar, V., Miller, L., and Lutz, R. Software fault tree and colored Petri net based specification, design, and implementation of agent-based intrusion detection systems. Submitted to ACM Transactions on Information and System Security, 2000. http://citeseer.ist.psu.edu/article/helmer01software.html More
@misc{ helmer00software,
author = "G. Helmer and J. Wong and M. Slagell and V. Honavar and L. Miller and R.
Lutz",
title = "Software fault tree and colored Petri net based specification",
text = "Helmer, G., Wong, J., Slagell, M., Honavar, V., Miller, L., and Lutz, R.
Software fault tree and colored Petri net based specification, design, and
implementation of agent-based intrusion detection systems. Submitted to
ACM Transactions on Information and System Security, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/article/helmer01software.html" }
Citations (may not include all citations):782 cial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
216 Coloured Petri Nets: Basic Concepts (context) - Jensen - 1997
216 Coloured Petri Nets: Basic Concepts (context) - Jensen - 1992
173 Safeware: System Safety and Computers (context) - Leveson - 1995
65 Actions and events in interval temporal logic - Allen, Ferguson - 1994
58 A pattern matching model for misuse intrusion detection - Kumar, Spa - 1994
55 Distributed Operating Systems (context) - Tanenbaum - 1995
34 Safety analysis using petri nets (context) - Leveson, Stolzy - 1987
33 Critical system properties: Survey and taxonomy - Rushby - 1994
32 An Introduction to Software Agents - Bradshaw - 1997
28 Intelligent agents for intrusion detection - Helmer, Wong et al. - 1998
22 Abstraction-based misuse detection: High-level speci cation.. - Lin, Wang et al. - 1998
20 A methodology for testing intrusion detection systems - Puketza, Zhang et al. - 1996
19 From safety analysis to software requirements (context) - Hansen, Ravn et al. - 1998
16 Discovering Data Mining: From Concept to Implementation (context) - Cabena, Hadjinian et al. - 1998
12 GrIDS-a graph based intrusion detection system for large net.. (context) - Staniford-Chen, Cheung et al. - 1996
11 Intrusion Detection (context) - Amoroso - 1999
6 Cautionary tales: Stealth coordinated attack howto (context) - Ruiu - 1999
5 Lightweight agents for intrusion detection - Helmer, Wong et al. - 2000
5 cation and Detection of Computer Intrusions (context) - Kumar - 1995
4 Intelligent multi-agent system for intrusion detection and c.. (context) - Helmer - 2000
1 CPN online (context) - at, Aarhus et al. - 2000
1 chapter Algorithms for Mining System Audit Data (context) - Lee, Stolfo et al. - 1999
Documents on the same site (http://latte.cs.iastate.edu/Research/Intrusion/Papers.html): More
A Software Fault Tree Approach to Requirements.. - Helmer, Wong.. (2000) (Correct)
Lightweight Agents For Intrusion Detection - Helmer, Wong, Honavar, Miller (2000) (Correct)
Automated Discovery of Concise Predictive Rules for.. - Helmer, Wong.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC