741 search results - page 71 / 149 » Verification of security protocols using LOTOS-method and ap... |
186
click to vote
WISTP
2010
Springer
15 years 11 months ago
2010
Springer
Reliable, inexpensive, on-the-fly networks can be established using mobile ad-hoc network (MANET) technology. Such networks can be used in a wide variety of scenarios ranging from...
127
click to vote
ACNS
2005
Springer
15 years 9 months ago
2005
Springer
Amongst provably secure signature schemes, two distinct classes are of particular interest: the ones with tight reduction (e.g., RSA-PSS), and those which support the use of coupon...
156
click to vote
PAMI
2006
15 years 4 months ago
2006
This paper is concerned with the performance evaluation of fingerprint verification systems. After an initial classification of biometric testing initiatives, we explore both the t...
117
Voted
ISPEC
2007
Springer
15 years 10 months ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
188
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents SAgent, a general-purpose mobile agent security framework that is designed to protect the computations of mobile agent applications in potentially hostile envi...