3504 search results - page 133 / 701 » Secure protocol composition |
155
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
151
click to vote
AINA
2008
IEEE
15 years 11 months ago
2008
IEEE
An ad hoc network is a highly dynamic routing network cooperated by a set of wireless mobile nodes without any assistance of centralized access point. ARIADNE is a well-known secu...
147
click to vote
ECWEB
2007
Springer
15 years 9 months ago
2007
Springer
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
151
click to vote
ASIACRYPT
2010
Springer
15 years 3 months ago
2010
Springer
Private Set Intersection (PSI) protocols allow one party ("client") to compute an intersection of its input set with that of another party ("server"), such tha...
130
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
When IEEE 802.11i draft[1] proposed TKIP, it is expected to improve WEP on both active and passive attack methods. TKIP uses more sophisticated methods to distribute and manage se...