Search Sciweavers | Sciweavers

1875 search results - page 24 / 375

» Automatic Network Protocol Analysis

click to vote

FOSSACS
2004
Springer

98views Software Engineering» more FOSSACS 2004»

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols

14 years 2 months ago

Download theory.stanford.edu

Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...

Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...

claim paper

Read More »

click to vote

GLOBECOM
2007
IEEE

108views Communications» more GLOBECOM 2007»

Analysis of the Contention Access Phase of a Reservation MAC Protocol for Wide-Area Data Intensive Sensor Networks

14 years 3 months ago

Download www.ee.washington.edu

— We propose a contention based reservation MAC protocol for a collaborative sensing scenario involving a set of surveillance UAVs communicating with a hub. Data transmission rig...

Arindam Kumar Das, Sumit Roy, Abhijit Mahalanobis

claim paper

Read More »

click to vote

INFOCOM
2007
IEEE

262views Communications» more INFOCOM 2007»

Analysis of A Loss-Resilient Proactive Data Transmission Protocol in Wireless Sensor Networks

14 years 3 months ago

Download www.cse.psu.edu

Abstract— Many of sensor network applications require reliable data communication such that data packets can be delivered to the destination without loss. However, existing relia...

Yingqi Xu, Wang-Chien Lee, Jianliang Xu

claim paper

Read More »

click to vote

IPPS
2006
IEEE

104views Distributed And Parallel Com...» more IPPS 2006»

A formal framework for the performance analysis of P2P networks protocols

14 years 2 months ago

Download www.cecs.uci.edu

Angelo Spognardi, Roberto Di Pietro

claim paper

Read More »