Sciweavers

1875 search results - page 110 / 375
» Automatic Network Protocol Analysis
Sort
View
CSFW
2009
IEEE
15 years 7 months ago
Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
Ralf Küsters, Tomasz Truderung
ANSS
2006
IEEE
15 years 9 months ago
Modeling and Optimization for the Design of IMS Networks
The IP Multimedia Subsystem (IMS) is envisioned as the solution for the next generation multimedia rich communication. Based on an open IP infrastructure, it enables convergence o...
Nisha Rajagopal, Michael Devetsikiotis
MOBICOM
2003
ACM
15 years 8 months ago
Distributed algorithms for guiding navigation across a sensor network
We develop distributed algorithms for self-organizing sensor networks that respond to directing a target through a region. The sensor network models the danger levels sensed acros...
Qun Li, Michael DeRosa, Daniela Rus
ICDAR
2009
IEEE
15 years 26 days ago
A Method for Automatically Extracting Road Layers from Raster Maps
To exploit the road network in raster maps, the first step is to extract the pixels that constitute the roads and then vectorize the road pixels. Identifying colors that represent...
Yao-Yi Chiang, Craig A. Knoblock
LCN
2006
IEEE
15 years 9 months ago
Performance Limits and Analysis of Contention-based IEEE 802.11 MAC
— Recent advance in IEEE 802.11 based standard has pushed the wireless bandwidth up to 600Mbps while keeping the same wireless medium access control (MAC) schemes for full backwa...
Shao-Cheng Wang, Ahmed Helmy