741 search results - page 53 / 149 » Verification of security protocols using LOTOS-method and ap... |
128
click to vote
MOBICOM
1996
ACM
15 years 8 months ago
1996
ACM
Even as mobile computing and network computing are gaining momentum, Internet security is sharing the spotlight. Security and authentication on open networks is already a difficul...
125
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
161
click to vote
CSI
2004
15 years 3 months ago
2004
Recently, Lee, Ryu and Yoo proposed a fingerprint-based remote user authentication scheme by using smart cards and biometrics. Their scheme is based on two tiers of ElGamal's...
137
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
118
click to vote
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...