741 search results - page 82 / 149 » Verification of security protocols using LOTOS-method and ap... |
124
click to vote
SDMW
2004
Springer
15 years 9 months ago
2004
Springer
With the increasing use of web services, many new challenges concerning data security are becoming critical. Data or applications can now be outsourced to powerful remote servers, ...
159
click to vote
ACISP
2006
Springer
15 years 7 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
133
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Being a fast-growing Internet application, Voice over Internet Protocol (VoIP) shares the network resources with the regular Internet traffic, and is susceptible to the existing ...
153
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
152
click to vote
PODC
2003
ACM
15 years 9 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...