981 search results - page 30 / 197 » A Performance Analysis of the iSCSI Protocol |
99
Voted
EUROCRYPT
2006
Springer
15 years 2 months ago
2006
Springer
We propose simple, realistic protocols for polling that allow the responder to plausibly repudiate his response, while at the same time allow accurate statistical analysis of poll ...
FMICS
2010
Springer
14 years 9 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
ACSAC
1999
IEEE
15 years 3 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
EVOW
2005
Springer
15 years 4 months ago
2005
Springer
Performance evaluation of routing protocols is an important area of research that deals with the analysis and investigation of such protocols. A performance evaluation framework un...
ENTCS
2002
14 years 11 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...