Network protocol interoperability testing based on contextual signatures and passive testing

Zaïdi, Fatiha; Bayse, Emmanuel; Cavalli, Ana

doi:10.1145/1529282.1529284

Cited by 11 publications

(9 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Testing the conformance of an implementation can be carried out by applying special test sequences that traverse all transitions of the state machine of the specification and by comparing its output with the expected one. Other approaches use passive testing to extract a set of invariants from the specification and to check them against the observed traces of an implementation [24], [25], [26]. However, these works test the conformance of a given implementation with respect to a specification.…”

Section: B Resultsmentioning

confidence: 99%

DiveInto: Supporting Diversity in Intrusion-Tolerant Systems

Antunes

Neves

2011

2011 IEEE 30th International Symposium on Reliable Distributed Systems

View full text Add to dashboard Cite

Abstract-Intrusion tolerant services are usually implemented as replicated systems. If replicas execute identical software, then they share the same vulnerabilities and the whole system can be easily compromised if a single flaw is found. One solution to this problem is to introduce diversity by using different server implementations, but this increases the chances of incompatibility between replicas. This paper studies various kinds of incompatibilities and presents a new methodology to evaluate the compliance of diverse server replicas. The methodology collects network traces to identify syntax and semantic violations, and to assist in their resolution. A tool called DiveInto was developed based on the methodology and was applied to three replication scenarios. The experiments demonstrate that DiveInto is capable of discovering various sorts of violations, including problems related with nondeterministic execution.

show abstract

Section: B Resultsmentioning

confidence: 99%

DiveInto: Supporting Diversity in Intrusion-Tolerant Systems

Antunes

Neves

2011

2011 IEEE 30th International Symposium on Reliable Distributed Systems

View full text Add to dashboard Cite

show abstract

“…In our previous work [4], [10], the global log of the choreography IUT C was constructed by the synthesis of services local logs of a choreography by assuming the existence of a global clock, e.g., the IUT is running in a cloud. The global clock allows to know the total order of messages from the set of local logs.…”

Section: B Global Propertymentioning

confidence: 99%

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

Nguyễn

Poizat

Zaïdi

2012

2012 IEEE 14th International Symposium on High-Assurance Systems Engineering

Self Cite

View full text Add to dashboard Cite

International audienceChoreography supports the specification, with a global perspective, of the interactions between roles played by peers in a collaboration. Choreography conformance testing aims at verifying whether a set of distributed peers collaborates wrt. a choreography. Such collaborations are usually achieved through information exchange, thus taking data into account during the testing process is necessary. We address this issue by using a non-intrusive passive testing approach based on functional properties. A property can express a critical (positive or negative) behaviour to be tested on an isolated peer (locally) or on a set of peers (globally). We support online verification of these kind of properties against local running traces of each peer in a distributed system where no global clock is needed. Our framework is fully tool supported

show abstract

“…Test sequences consist of sets of input and expected output obtained from the specification, with the purpose of checking if the input/output transitions are correctly executed by the implementation. Other approaches use passive testing to extract a set of invariants from the specification, and then check them against the traces produced by an implementation [6,3,25].…”

Section: Related Workmentioning

confidence: 99%

Automatically complementing protocol specifications from network traces

Antunes

Neves

2011

Proceedings of the 13th European Workshop on Dependable Computing

View full text Add to dashboard Cite

Network servers can be tested for correctness by resorting to a specification of the implemented protocol. However, producing a protocol specification can be a time consuming task. In addition, protocols are constantly evolving with new functionality and message formats that render the previously defined specifications incomplete or deprecated. This paper presents a methodology to automatically complement an existing specification with extensions to the protocol by analyzing the contents of the messages in network traces. The approach can be used on top of existing protocol reverse engineering techniques allowing it to be applied to both open and closed protocols. This approach also has the advantage of capturing unpublished or undocumented features automatically, thus obtaining a more complete and realistic specification of the implemented protocol. The proposed solution was evaluated with a prototype tool that was able to complement an IETF protocol (FTP) specification with several extensions extracted from traffic data collected in 320 public servers.

show abstract

Network protocol interoperability testing based on contextual signatures and passive testing

Cited by 11 publications

References 7 publications

DiveInto: Supporting Diversity in Intrusion-Tolerant Systems

DiveInto: Supporting Diversity in Intrusion-Tolerant Systems

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

Automatically complementing protocol specifications from network traces

Contact Info

Product

Resources

About