3 search results - page 1 / 1 » Integrated Transport Layer Security: End-to-End Security Mod... |
ICOIN
2001
Springer
15 years 2 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
15 years 2 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
14 years 11 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...