212 search results - page 17 / 43 » Further analysis of the Internet key exchange protocol |
CSFW
1999
IEEE
15 years 1 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
SYRCODIS
2008
14 years 11 months ago
2008
Based on loosely coupled services in an XML engine, we describe how to realize fine-grained lock protocols, which can guarantee transaction isolation for applications using differ...
91
Voted
AICCSA
2008
IEEE
15 years 4 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is a standard for managing IP multimedia sessions in the Internet. Identity management in SIP is a crucial security field that deals with id...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—Gossip-based Peer-to-Peer protocols proved to be very efficient for supporting dynamic and complex information exchange among distributed peers. They are useful for building an...
96
Voted
ACTA
2005
14 years 9 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...