718 search results - page 21 / 144 » Operational Semantics of Security Protocols |
MUE
2008
IEEE
14 years 2 months ago
2008
IEEE
Hierarchical wireless sensor networks (WSNs) have been shown to improve system performance, reduce messages redundancy, and economize energy. However, due to the characteristics o...
ICALP
2001
Springer
14 years 9 days ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
IEEEARES
2009
IEEE
13 years 5 months ago
2009
IEEE
Scenarios such as online banking, mobile payment systems, stock trading, selling merchandise, and a host of other applications that need a high level of security have moved from th...
ANSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
ASIACRYPT
2010
Springer
13 years 5 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...