263 search results - page 25 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
CSFW
2002
IEEE
14 years 15 days ago
2002
IEEE
Privacy is an increasing concern in the marketplace. Although enterprises promise sound privacy practices to their customers, there is no technical mechanism to enforce them inter...
AINA
2005
IEEE
14 years 1 months ago
2005
IEEE
In recent years, security in MANET is anticipated as the pre-establishment of specific information among the participating nodes, so that the future communications can be secured ...
TMC
2012
11 years 10 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
PKI is generally considered as the most appropriate solution for e-commerce and mutual authentication, owing to its digital signature and non-repudiation features. Asymmetric key ...
PEWASUN
2005
ACM
14 years 1 months ago
2005
ACM
Inherent to the wireless sensor networks are the two major problems of the broadcasting vulnerability, the limited computational capability and power budget. Even though security ...