9821 search results - page 211 / 1965 » A Framework for the Development of Protocols |
197
click to vote
CN
2006
15 years 6 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
140
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Reliable transport protocols that offer low per-packet delays are becoming increasingly important, particularly for critical infrastructure services. Forward error correction (FEC...
207
click to vote
ICDCS
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
216
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
198
click to vote
FORTE
2008
15 years 8 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...