3815 search results - page 17 / 763 » An Implementation of Session Types |
COMPUTER
2008
13 years 7 months ago
2008
Man-in-the-middle (MITM) attacks pose a serious threat to SSL/TLS-based e-commerce applications, such as Internet banking. SSL/TLS session-aware user authentication can be used to ...
CN
2006
13 years 7 months ago
2006
The reliable Border Gateway Protocol (BGP) is essential for supporting high quality Internet data communication. In present Internet, due to the lack of differentiation mechanism ...
CTRSA
2006
Springer
13 years 11 months ago
2006
Springer
Bellare, Canetti and Krawczyk proposed a security model (BCK-model) for authentication and key exchange protocols in 1998. The model not only reasonably captures the power of pract...
USITS
2003
13 years 9 months ago
2003
straction. TESLA services can be deployed transparently using dynamic library interposition and can be composed by chaining event handlers in a graph structure. We show how TESLA c...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
It is extremely hard for a global organization with services over multiple channels to capture a consistent and unified view of its data, services, and interactions. While SOA and...