609 search results - page 101 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
ICCCN
2008
IEEE
14 years 3 months ago
2008
IEEE
—We investigate a quasi-trusted QKD relaying model. This is a three-party communication model. Two nodes Alice and Bob want to establish a secret key. However, the distance betwe...
CSFW
2002
IEEE
14 years 2 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
CCS
2006
ACM
14 years 23 days ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
WISEC
2009
ACM
2009
ACM
Practical defenses against pollution attacks in intra-flow network coding for wireless mesh networks
14 years 3 months ago
Recent studies show that network coding can provide significant benefits to network protocols, such as increased throughput, reduced network congestion, higher reliability, and ...
ACSAC
2006
IEEE
14 years 24 days ago
2006
IEEE
Wireless networking technologies based on the IEEE 802.11 series of standards fail to authenticate management frames and network card addresses and suffer from serious vulnerabili...