1875 search results - page 110 / 375 » Automatic Network Protocol Analysis |
137
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
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-...
134
click to vote
ANSS
2006
IEEE
15 years 9 months ago
2006
IEEE
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...
144
click to vote
MOBICOM
2003
ACM
15 years 8 months ago
2003
ACM
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...
132
click to vote
ICDAR
2009
IEEE
15 years 26 days ago
2009
IEEE
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...
125
click to vote
LCN
2006
IEEE
15 years 9 months ago
2006
IEEE
— 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...