3751 search results - page 24 / 751 » Events in security protocols |
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
CSFW
1999
IEEE
13 years 12 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
BROADCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Distributed Hash Tables (DHTs) with O(1) lookup performance strive to minimize the maintenance traffic required for disseminating membership changes information (events). These eve...