947 search results - page 145 / 190 » Provable Implementations of Security Protocols |
NDSS
1997
IEEE
14 years 2 months ago
1997
IEEE
In this work we describe a method for fully distributed authentication using public key cryptography within the Kerberos ticket framework. By distributing most of the authenticati...
PDPTA
2004
13 years 11 months ago
2004
In this paper, we discuss reliable and secure file transfer middleware called NaradaBrokering. It is our goal to show that reliability features can be decoupled from the implementa...
FPL
2007
Springer
14 years 4 months ago
2007
Springer
In recent years, IP protection of FPGA hardware designs has become a requirement for many IP vendors. To this end solutions have been proposed based on the idea of bitstream encry...
LCN
2005
IEEE
14 years 3 months ago
2005
IEEE
Network Address Translation (NAT) is often used in routers that connect home and small-office networks to the Internet. Unfortunately, NAT may not interoperate well with many pro...
ASAP
2004
IEEE
14 years 1 months ago
2004
IEEE
IPSec is a suite of protocols that adds security to communications at the IP level. Protocols within the IPSec suite make extensive use of cryptographic algorithms. Since these al...