UB Paderborn / Katalog / Suche / in CDI

Intrusion detection: a brief history and overview

Computer (Long Beach, Calif.), 2002-01, Vol.35 (4), p.supl27-supl30

2002

Volltextzugriff (PDF)

Comprehensive approach to intrusion detection alert correlation

IEEE transactions on dependable and secure computing, 2004-07, Vol.1 (3), p.146-169

2004

Volltextzugriff (PDF)

SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr

Information Security, 2006, p.343-358

2006

Volltextzugriff (PDF)

An Experience in Testing the Security of Real-World Electronic Voting Systems

IEEE transactions on software engineering, 2010-07, Vol.36 (4), p.453-473

2010

Volltextzugriff (PDF)

Formal analysis of an electronic voting system: An experience report

The Journal of systems and software, 2011-10, Vol.84 (10), p.1618-1637

2011

Volltextzugriff (PDF)

Using Hidden Markov Models to Evaluate the Risks of Intrusions: System Architecture and Model Validation

Lecture notes in computer science, 2006, Vol.4219, p.145-164

2006

Volltextzugriff (PDF)

State transition analysis: a rule-based intrusion detection approach

IEEE transactions on software engineering, 1995-03, Vol.21 (3), p.181-199

1995

Volltextzugriff (PDF)

Rippler: Delay injection for service dependency detection

IEEE INFOCOM 2014 - IEEE Conference on Computer Communications, 2014, p.2157-2165

2014

Volltextzugriff (PDF)

Your botnet is my botnet: analysis of a botnet takeover

Proceedings of the 16th ACM conference on Computer and communications security, 2009, p.635-647

2009

Volltextzugriff (PDF)

Counter Machines and Verification Problems

Theoretical computer science, 2002-10, Vol.289 (1), p.165-189

2002

Volltextzugriff (PDF)

Past pushdown timed automata and safety verification

Theoretical computer science, 2004-02, Vol.313 (1), p.57-71

2004

Volltextzugriff (PDF)

A Practical Approach to Identifying Storage and Timing Channels

1982 IEEE Symposium on Security and Privacy, 1982, p.66-66

Kemmerer, Richard

1982

Volltextzugriff (PDF)

Digital Forensic Reconstruction and the Virtual Security Testbed ViSe

Detection of Intrusions and Malware & Vulnerability Assessment, 2006, p.144-163

2006

Volltextzugriff (PDF)

Targeted Attacks against Industrial Control Systems: Is the Power Industry Prepared?

Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014, p.13-22

2014

Volltextzugriff (PDF)

Presburger liveness verification of discrete timed automata

Theoretical computer science, 2003-04, Vol.299 (1-3), p.413-438

2003

Volltextzugriff (PDF)

Specification of realtime systems using ASTRAL

IEEE transactions on software engineering, 1997-09, Vol.23 (9), p.572-598

1997

Volltextzugriff (PDF)

STATL: An attack language for state-based intrusion detection

Journal of computer security, 2002-01, Vol.10 (1-2), p.71-103

2002

Volltextzugriff (PDF)

Using the ASTRAL model checker to analyze mobile IP

Proceedings / International Conference on Software Engineering, 1999, p.132-141

1999

Volltextzugriff (PDF)

Generalized discrete timed automata: decidable approximations for safety verification

Theoretical computer science, 2003-03, Vol.296 (1), p.59-74

2003

Volltextzugriff (PDF)

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

International Conference on Software Engineering: Proceedings of the 22nd international conference on Software engineering; 04-11 June 2000, 2000, p.345-354

2000

Volltextzugriff (PDF)

Hi-DRA: Intrusion Detection for Internet Security

Proceedings of the IEEE, 2005-10, Vol.93 (10), p.1848-1857

2005

Volltextzugriff (PDF)

Decidable Approximations on Generalized and Parameterized Discrete Timed Automata

Computing and Combinatorics, 2001, p.529-539

2001

Volltextzugriff (PDF)

Security issues in distributed software

Foundations of Software Engineering: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering : Zurich, Switzerland; 22-25 Sept. 1997, 1997, p.52-59

1997

Volltextzugriff (PDF)

The Tricks of the Trade: What Makes Spam Campaigns Successful?

2014 IEEE Security and Privacy Workshops, 2014, p.77-83

2014

Volltextzugriff (PDF)

Testing Formal Specifications to Detect Design Errors

IEEE transactions on software engineering, 1985-01, Vol.SE-11 (1), p.32-43

Kemmerer, R.A.

1985

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

Intrusion detection: a brief history and overview

Comprehensive approach to intrusion detection alert correlation

SNOOZE: Toward a Stateful NetwOrk prOtocol fuzZEr

An Experience in Testing the Security of Real-World Electronic Voting Systems

Formal analysis of an electronic voting system: An experience report

Using Hidden Markov Models to Evaluate the Risks of Intrusions: System Architecture and Model Validation

State transition analysis: a rule-based intrusion detection approach

Rippler: Delay injection for service dependency detection

Your botnet is my botnet: analysis of a botnet takeover

Counter Machines and Verification Problems

Past pushdown timed automata and safety verification

A Practical Approach to Identifying Storage and Timing Channels

Digital Forensic Reconstruction and the Virtual Security Testbed ViSe

Targeted Attacks against Industrial Control Systems: Is the Power Industry Prepared?

Presburger liveness verification of discrete timed automata

Specification of realtime systems using ASTRAL

STATL: An attack language for state-based intrusion detection

Using the ASTRAL model checker to analyze mobile IP

Generalized discrete timed automata: decidable approximations for safety verification

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems

Hi-DRA: Intrusion Detection for Internet Security

Decidable Approximations on Generalized and Parameterized Discrete Timed Automata

Security issues in distributed software

The Tricks of the Trade: What Makes Spam Campaigns Successful?

Testing Formal Specifications to Detect Design Errors

Suchergebnisse filtern