1923 search results - page 51 / 385 » Modeling Complexity in Secure Distributed Computing |
CRYPTO
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
100
click to vote
ICDCIT
2004
Springer
15 years 3 months ago
2004
Springer
We discuss research issues and models for vulnerabilities and threats in distributed computing systems. We present four diverse approaches to reducing system vulnerabilities and th...
AMC
2007
14 years 9 months ago
2007
: The present paper makes use of factorial experiments to assess software complexity using insertion sort as a trivial example. We next propose to implement the methodology in quic...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
One of the most serious security threats in the Internet are Distributed Denial of Service ( DDoS) attacks, due to the signiļ¬cant service disruption they can create and the diļ¬...
ENTCS
2007
14 years 9 months ago
2007
We deļ¬ne a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...