460 search results - page 4 / 92 » Heuristic Methods for Security Protocols |
ENTCS
2008
13 years 6 months ago
2008
Mobile Ad-hoc Networks (MANETs) allow wireless nodes to form a network without requiring a fixed infrastructure. Early routing protocols for MANETs failed to take security issues ...
ICCCN
2007
IEEE
14 years 1 months ago
2007
IEEE
— Despite the popularity of VoIP these days, this method of communication may present significant security challenges in terms of privacy and accounting. Authentication and messa...
CCS
2003
ACM
14 years 25 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
SOUPS
2009
ACM
14 years 2 months ago
2009
ACM
Initiating and bootstrapping secure, yet low-cost, ad-hoc transactions is an important challenge that needs to be overcome if the promise of mobile and pervasive computing is to b...