A generic application-level protocol analyzer and its language (original) (raw)
Related papers
Design of an Efficient Security Protocol Analyzer
2007
Implementing Security Protocol Monitors
Electronic Proceedings in Theoretical Computer Science, 2021
Introducing ASPECT 1 - a tool for checking protocol security
2002
An On-the-Fly Model-Checker for Security Protocol Analysis
Lecture Notes in Computer Science, 2003
An environment for security protocol intrusion detection
Journal of Computer Security, 2002
Dynamic analysis of security protocols
Proceedings of the 2000 Workshop on New Security Paradigms, 2001
On limits and possibilities of automated protocol analysis
2006
Introducing ASPECT-a tool for checking protocol security
2002
Design and Implementation of a Packet Sniffing Library
International Journal of Intelligent Computing Research
ReverX: Reverse engineering of protocols
2011
Development of a network packet sniffing tool for internet protocol generations
A framework for rapid development and portable execution of packet-handling applications
2005
Verify Results of Network Intrusion Alerts Using Lightweight Protocol Analysis
21st Annual Computer Security Applications Conference (ACSAC'05)
A Typed Specification for Security Protocols
2006
An extensible platform for evaluating security protocols
2005
On understanding normal protocol behaviour to monitor and mitigate the abnormal
2006
Tools for cryptographic protocols analysis: A technical and experimental comparison
Computer Standards & Interfaces, 2009
2000
Eliminating network protocol vulnerabilities through abstraction and systems language design
Jasson Casey, Gabriel Menegatti Reis
2013 21st IEEE International Conference on Network Protocols (ICNP), 2013
Automatically complementing protocol specifications from network traces
Proceedings of the 13th European Workshop on …, 2011
TCPconal: A Prototype of Specification Language for TCP Connections Data Processing
1998
Automatic Feature Isolation in Network Protocol Software Implementations
Proceedings of the 2020 ACM Workshop on Forming an Ecosystem Around Software Transformation, 2020
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
Lecture Notes in Computer Science, 2005
Polyglot: automatic extraction of protocol message format using dynamic binary analysis
2007
Reverse Engineering of Protocols from Network Traces
homepages.di.fc.ul.pt
Analyzing the behavior of TCP Implementations by Pedro
2009
A Security Protocol Compiler Generating C Source Codes
2008 International Conference on Information Security and Assurance (isa 2008), 2008
State of the art of network protocol reverse engineering tools
Journal of Computer Virology and Hacking Techniques, 2017
LANSF: A protocol modelling environment and its implementation
Software: Practice and Experience, 1991
Security Testing of Network Protocol Implementation
IRJET, 2022
Formal Description Techniques and Protocol Specification, Testing and Verification, 1997
Automatic detection of DoS vulnerabilities of cryptographic protocols
Annales UMCS, Informatica, 2012
A graphical interface for analysis of communication protocols
Proceedings of the 1992 ACM annual conference on Communications - CSC '92, 1992