103 search results - page 10 / 21 » Verified Interoperable Implementations of Security Protocols |
CSFW
2002
IEEE
14 years 15 days ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
FMCO
2003
Springer
14 years 23 days ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
LCN
2005
IEEE
14 years 1 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...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...
SAINT
2003
IEEE
14 years 24 days ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...