44 search results - page 3 / 9 » Using equivalence-checking to verify robustness to denial of... |
GRID
2005
Springer
13 years 11 months ago
2005
Springer
A key goal of grid computing is to provide seamless access to shared computational and data resources across organizational boundaries, in distributed virtual organizations. Grid ...
SCN
2011
Springer
13 years 1 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
CSFW
2005
IEEE
13 years 12 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
ICICS
1997
Springer
13 years 10 months ago
1997
Springer
We describe a secure transformation of stateful connections or parts of them into stateless ones by attaching the state information to the messages. Secret-key cryptography is used...
INFOCOM
2002
IEEE
13 years 11 months ago
2002
IEEE
— Recently, a class of solutions including Core-Stateless Fair Queueing (CSFQ), Rainbow Fair Queueing, and Diffserv have been proposed to address the scalability concerns that ha...