4305 search results - page 46 / 861 » Analysing Protocol Implementations |
CARDIS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper we describe the first implementation on smartcard of the code-based authentication protocol proposed by Stern at Crypto'93 and we give a securization o...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
ISCAPDCS
2001
13 years 10 months ago
2001
Transmission Control Protocol (TCP) in the Internet Protocol suite has become over the years the most widely used protocol for data communications. Recent developments in high-spe...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Parallel NFS (pNFS) is touted as an emergent standard protocol for parallel I/O access in various storage environments. Several pNFS prototypes have been implemented for initial v...