Guy Helmer, Johnny Wong, Mark Slagell, Vasant Honavar, Les Miller, Yanxin Wang  Home/Search
Context Related
| iastate.edu/~honavar/Pape...CPNIDS.pdf 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/~honavar/homepage (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The integration of Software Fault Tree Analysis (SFTA) (to describe intrusions) and Colored Petri Nets (CPNs) (to specify design) is examined for an Intrusion Detection System (IDS). The IDS under development is a collection of mobile agents that detect, classify, and correlate system and network activities. Software Fault Trees (SFTs), augmented with nodes that describe trust, temporal, and contextual relationships, are used to describe intrusions. (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):
35.9%: Software Fault Tree and Colored Petri Net Based.. - Helmer, Wong.. (2001) (Correct)
Active bibliography (related documents): More All
1.0: Intrusion Detection: A Bibliography - Mé, Michel (2001) (Correct)
0.6: Requirements Engineering for Survivable Systems - Mead (2003) (Correct)
0.4: Lightweight Agents For Intrusion Detection - Helmer, Wong, Honavar, Miller (2000) (Correct)
Similar documents based on text: More All
0.4: Automated Discovery of Concise Predictive Rules for.. - Helmer, Wong.. (1999) (Correct)
0.3: Towards The Automatic Generation Of Mobile Agents.. - Wang, Behera.. (2004) (Correct)
0.3: SMART Mobile Agent Facility - Wong, Helmer, Naganathan.. (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/helmer02software.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/helmer02software.html" }
Citations (may not include all citations):585 Extensible markup language (context) - Bray, Paoli et al. - 2000 ACM
248 Fast effective rule induction - Cohen - 1995
216 Coloured Petri Nets: Basic Concepts (context) - Jensen - 1992
216 Coloured Petri Nets: Basic Concepts (context) - Jensen - 1997
173 Safeware: System Safety and Computers (context) - Leveson - 1995 ACM
140 XSL transformations (context) - Clark - 1999
140 Snort: Lightweight intrusion detection for networks (context) - Roesch - 1999 DBLP
105 State transition analysis: A rule-based intrusion detection .. - Ilgun, Kemmerer et al. - 1995 DBLP
91 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995 DBLP
65 Actions and events in interval temporal logic - Allen, Ferguson - 1994 ACM DBLP
58 A pattern matching model for misuse intrusion detection - Kumar, Spafford - 1994
55 Distributed Operating Systems (context) - Tanenbaum - 1995 ACM DBLP
48 Classification and Detection of Computer Intrusions - Kumar - 1995 ACM
41 Secrets and Lies: Digital Security in a Networked World (context) - Schneier - 2000
36 Extensible stylesheet language (context) - Adler, Berglund et al. - 2001
36 GrIDS-a graph based intrusion detection system for large net.. (context) - Staniford-Chen, Cheung et al. - 1996
34 Safety analysis using petri nets (context) - Leveson, Stolzy - 1987 ACM DBLP
33 Critical system properties: Survey and taxonomy - Rushby - 1994
32 An Introduction to Software Agents - Bradshaw - 1997
30 Experiences with tripwire: Using integrity checkers for intr.. - Kim, Spafford - 1994
28 Intelligent agents for intrusion detection - Helmer, Wong et al. - 1998
22 Intrusion detection using autonomous agents (context) - Spafford, Zamboni - 2000 ACM DBLP
22 Abstraction-based misuse detection: High-level specification.. - Lin, Wang et al. - 1998 DBLP
20 A methodology for testing intrusion detection systems - Puketza, Zhang et al. - 1996 ACM DBLP
19 From safety analysis to software requirements (context) - Hansen, Ravn et al. - 1998 ACM DBLP
16 Discovering Data Mining: From Concept to Implementation (context) - Cabena, Hadjinian et al. - 1998
12 Mobile agents in intrusion detection and response - Jansen, Mell et al. - 2000
11 Intrusion Detection (context) - Amoroso - 1999 ACM DBLP
6 Cautionary tales: Stealth coordinated attack howto (context) - Ruiu - 1999
6 A graph-based system for network-vulnerability analysis (context) - Phillips, Swiler - 1998 ACM DBLP
6 Mobile agent attack resistant distributed hierarchical intru.. - Mell, McLarnon - 1999 DBLP
5 ObjectSpace Voyager Core Technology User Guide (context) - Inc, TX - 1999
5 Lightweight agents for intrusion detection - Helmer, Wong et al. - 2000 ACM DBLP
4 Intelligent multi-agent system for intrusion detection and c.. (context) - Helmer - 2000 ACM
4 A software fault tree approach to requirements analysis of a.. - Helmer, Wong et al. - 2001 DBLP
4 Multiagent systems engineering: the analysis phase (context) - DeLoach, Wood - 2000
4 SMART mobile agent facility - Wong, Helmer et al. - 2001 ACM
3 With microscope and tweezers: An analysis of the Internet wo.. (context) - Eichin, Rochlis - 1988
3 A practical approach to security assessment - Kienzle, Wulf - 1997 ACM
3 Algorithms for Mining System Audit Data - Lee, Stolfo et al. - 1999
2 mobile agent intrusion detection system (context) - Slagell, implementation - 2001
1 Visual XML writer (context) - Studios - 2002
1 psionic.com/ abacus/portsentry (context) - Software, portsentry et al. - 2001
1 DesignCPN online (context) - at, Aarhus et al. - 2000
Documents on the same site (http://www.cs.iastate.edu/~honavar/homepage.html): More
A Polynomial Time Incremental Algorithm for Learning DFA - Parekh, Nichitiu, Honavar (Correct)
Spatial learning and localization in rodents: Behavioral.. - Bhatt (Correct)
Ontology-Driven Information Extraction and.. - Silvescu.. (2001) (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