526 search results - page 64 / 106 » A Z Based Approach to Verifying Security Protocols |
147
click to vote
JNW
2008
15 years 3 months ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
112
click to vote
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
Recently, Nenadi´c et al. (2004) proposed the RSA-CEGD protocol for certified delivery of e-goods. This is a relatively complex scheme based on verifiable and recoverable encryp...
124
click to vote
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
169
Voted
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
125
click to vote
CTRSA
2006
Springer
15 years 7 months ago
2006
Springer
RFID-tags are becoming very popular tools for identification of products. As they have a small microchip on board, they offer functionality that can be used for security purposes. ...