1123 search results - page 168 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
146
click to vote
SUTC
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose and analyze a scalable and efficient region-based group key management protocol for secure group communications in mobile ad hoc networks. For scalability and dynamic r...
130
click to vote
CN
2004
15 years 4 months ago
2004
Securing ad hoc networks in a fully self-organized way is effective and light-weight, but fails to accomplish trust initialization in many trust deficient scenarios. To overcome t...
147
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
168
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
A fundamental problem that confronts decentralized reputation systems is the design of efficient, secure and incentive-compatible mechanisms to gather trust information despite m...
208
click to vote
IWDC
2005
Springer
15 years 10 months ago
2005
Springer
:- The wide availability of mobile devices equipped with wireless communication capabilities together with the technical possibility to form ad hoc networks paves the way for build...