3 search results - page 1 / 1 » Integrated Transport Layer Security: End-to-End Security Mod... |
ICOIN
2001
Springer
13 years 9 months ago
2001
Springer
WAP is a set of protocols that optimizes standard TCP/IP/HTTP/HTML protocols, for use under the low bandwidth, high latency conditions often found in wireless networks. But, end-t...
ISCC
2003
IEEE
13 years 10 months ago
2003
IEEE
WTLS (Wireless Transport Layer Security) is an important standard protocol for secure wireless access to Internet services. WTLS employs public-key cryptosystems during the handsh...
CCS
2008
ACM
13 years 6 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...