449 search results - page 54 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
114
click to vote
ASIACRYPT
2009
Springer
15 years 5 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
107
click to vote
JCP
2006
15 years 1 months ago
2006
Abstract-- This paper is concerned with passwordauthenticated key agreement protocols. Designing such protocols represents an interesting challenge since there is no standard way o...
104
click to vote
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
139
click to vote
FMCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
103
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
—We introduce a novel approach to multi-hop routing in wireless networks. Instead of the usual graph description we characterize the network by the packet delivery ratio matrix w...