Wireless self-organizing networks (WSONs) have attracted considerable attention from the
network research community; however, the key for their success is the rigorous validation of …

Signature-based intrusion detection systems (IDSs) have been widely deployed in network
environments aiming to defend against different kinds of attacks. However, a large number …

Choreography supports the specification, with a global perspective, of the interactions
between the roles played by partners in a collaboration. These roles are the basis for the …

Constrained Application Protocol (CoAP) is a specialized web transfer protocol, designed for
realizing interoperation with constrained networks and nodes for machine to machine …

Choreography supports the specification, with a global perspective, of the interactions
between roles played by peers in a collaboration. Choreography conformance testing aims …

We present here the overview of recent research on passive testing methods and tools,
which covers 104 manually selected papers most relevant to this topic. The papers were …

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 …

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 …

In the field of networking, testing of communication protocols is an important activity to
validate protocol applications before commercialisation. Generally, the services that must be …

鉴于现有的协议互操作测试方法自动化程度不高, 本文给出一种用于描述分布式通信系统的有限
状态机模型, 并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架 …