5374 search results - page 4 / 1075 » The induction of communication protocols |
FOCS
1992
IEEE
15 years 1 months ago
1992
IEEE
: We prove in this paper that it is much harder to evaluate depth
TAICPART
2010
IEEE
14 years 8 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
ARESEC
2011
13 years 9 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
JUCS
2007
14 years 9 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
IPCCC
1999
IEEE
15 years 1 months ago
1999
IEEE
