Alec Yasinsac  Home/Search
Context Related
| fsu.edu/~yasinsac/IDSP.pdf fsu.edu/~yasinsac/Papers/IDSP.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: fsu.edu/~yasinsac/about_me (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Secure electronic communication relies on the application of cryptography. However, even with perfect encryption, communication may be compromised without effective security protocols for key exchange, authentication, privacy, etc. We are beginning to see environments characterized by high volume encrypted traffic between large numbers of communicating principals, facilitated by heterogeneous infrastructure-based trusted services, e.g. Public Key Infrastructures. These vital services are... (Update)
Context of citations to this paper: More
...and the role of this prototype in SEADS is discussed below. 3.1. Role of the IDE in SEADS The Secure Enclave Attack Detection System (SEADS) [6] is a network monitoring system. Security protocols, which constitute encrypted exchanges between principals, are excellent targets for...
...the payload of the message. The idea of attack detection by using meta information about the packets on the network was introduced in [1]. The author details three components of such a system: The Monitor, the Intrusion Detection Engine and the Knowledge Base. This...
Cited by: More
Unknown - (Correct)
Intrusion Detection: A Bibliography - Mé, Michel (2001) (Correct)
A Method for Detecting Intrusions on Encrypted Traffic - Goregaoker (Correct)
Similar documents (at the sentence level):
73.1%: An Environment for Security Protocol Intrusion Detection - Yasinsac (2001) (Correct)
7.7%: Active Protection of Trusted Security Services - Yasinsac (2000) (Correct)
Active bibliography (related documents): More All
0.8: The Weakest Precondition Protocol Analysis Environment - Yasinsac, Runy (Correct)
0.4: An Analysis Of The Secure Routing Protocol For Mobile Ad Hoc.. - Marshall, II (2003) (Correct)
0.3: Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows (2003) (Correct)
Similar documents based on text: More All
0.4: Developing security protocols in χ-Spaces - Crazzolara, Milicia (2002) (Correct)
0.4: The ISO 5-pass authentication in χ-Spaces - Caccamo, Crazzolara, Milicia (2002) (Correct)
0.3: Using Refinement to Analyse the Safety of an Authentication.. - Butler (1998) (Correct)
Related documents from co-citation: More All
4: An Intrusion Detection Model (context) - Denning - 1987
3: Timestamps in Key Distribution Protocols (context) - Denning, Sacco - 1982
3: Attacking Authentication Protocols - CLARK, JACOB - 1996
BibTeX entry: (Update)
Alec Yasinsac, "Detecting Intrusions in Security Protocols", Proceedings of First Workshop on Intrusion Detection Systems, in the 7 th ACM Conference on Computer and communications Security, June 2000, pp. 5-8. http://citeseer.ist.psu.edu/yasinsac00detecting.html More
@inproceedings{ yasinsac00detecting,
author = "A. Yasinsac",
title = "Detecting Intrusions in Security Protocols",
booktitle = "Proceedings of First Workshop on Intrusion Detection
Systems, in the 7 th ACM Conference on Computer and communications
Security, June 2000",
month = jun,
year = 2000,
pages = "5--8",
url = "citeseer.ist.psu.edu/yasinsac00detecting.html" }
Citations (may not include all citations):302 A Logic of Authentication - Burrows, Abadi et al. - 1989
195 The Theory and Practice of Concurrency (context) - Roscoe - 1997
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
168 Protecting Mobile Agents against Malicious Hosts - Sander, Tschudin - 1998
121 Three Systems for Cryptographic Protocol Analysis (context) - Kemmerer, Meadows et al. - 1993
121 An Intrusion-Detection Model (context) - Denning - 1986
89 The interrogator: Protocol security analysis (context) - Millen, Clark et al. - 1987
81 Using Encryption for Authentication in Large Networks of Com.. (context) - Needham, Schroeder - 1978
53 Formal Verification of Cryptographic Protocols: A Survey - Meadows - 1995
49 A Formal Framework and Evaluation Method for Network Denial .. - Meadows - 1999
47 Inductive analysis of the Internet protocol TLS - Paulson - 1999
39 Detecting Computer and Network Misuse Through the Production.. - Lindqvist, Porras - 1999
35 Analysis of the Internet Key Exchange Protocol using the NRL.. - Meadows - 1999
31 Athena: A New Efficient Automatic Checker for Security Proto.. - Song
30 CAPSL Integrated Protocol Environment - Denker, Millen - 2000
21 On Belief Evolution in Authentication Protocols - Kailar, Gligor - 1991
17 Design and Implementation of a Scalable Intrusion Detection .. - Jou, Gong et al. - 2000
13 Using Formal Methods to Analyze Encryption Protocols (context) - Kemmerer - 1989
11 Proving Security Protocols Correct (context) - Paulson - 1999
9 IDIOT - Users Guide - Crosbie, Dole et al. - 1996
9 Security issues related to mobile code and agent-based syste.. (context) - Oppliger - 1999
9 A Taxonomy of Common Computer Security Vulnerabilities Based.. (context) - Kumar, Spafford - 1995
8 Automatically Detecting Most Vulnerabilities in Cryptographi.. (context) - Brackin - 2000
8 Identification of Host Audit Data to Detect Attacks on Low-l.. - Spafford - 1999
8 Evaluating Cryptographic Protocols - Yasinsac - 1996
8 Analysis of the SSL 3.0 Protocol (context) - Wagner - 1996
8 Strand Spaces: Why is a Security Protocol Correct (context) - Thayer, Herzog et al. - 1998
8 Evaluating Cryptographic Protocols - Alec, William - 1993
5 Fixing of security flaw in IKE protocols (context) - Zhou - 1999
5 A Framework for A Cryptographic Protocol Evaluation Workbenc.. - Yasinsac, Wulf - 1999
4 A Method for Examining Cryptographic Protocols - Tjaden - 1997
3 New York Times (context) - Encryption, Questions et al.
3 NetSTAT: A Network-based Intrusion Detection System - Kemmerer - 1999
2 Dynamic Analysis of Security Protocols (context) - Yasinsac - 2000
2 IEEE CS Press (context) - Syverson, of et al. - 1994
2 Active Protection of Trusted Services (context) - Yasinsac
2 An Intrusion Detection System Based upon Autonomous Mobile A.. (context) - Gregory, Shi et al. - 1998
1 Analysis of TLS Using Weakest Preconditions (context) - Yasinsac, Childs
Documents on the same site (http://www.cs.fsu.edu/~yasinsac/about_me.html): More
Active Protection of Trusted Security Services - Yasinsac (2000) (Correct)
Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (Correct)
Active Protection of Trusted Security Services - Yasinsac (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