147 search results - page 19 / 30 » An intruder model for verifying liveness in security protoco... |
106
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
132
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
133
Voted
CMS
2003
15 years 3 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
130
click to vote
BCS
2008
15 years 3 months ago
2008
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
126
Voted
CONCUR
2009
Springer
14 years 11 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...