2162 search results - page 129 / 433 » A Meta-Notation for Protocol Analysis |
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
IACR
2011
12 years 8 months ago
2011
—Cloud computing is a style of computing in which dynamically scalable and commonly virtualized resources are provided as a service over the Internet. This paper, first presents ...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This work presents an H2 performance analysis of the agreement protocol in the presence of noise. The agreement protocol is first transformed into an equivalent system induced...
ICCNMC
2005
Springer
14 years 2 months ago
2005
Springer
The paper advocates a different view of routing protocols according to technology trends nowadays. A Link State Multi-Path routing protocol, LSMP, is thereby introduced. This new h...
SIGMETRICS
2011
ACM
12 years 11 months ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...