718 search results - page 99 / 144 » Security protocols, properties, and their monitoring |
112
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
150
click to vote
TIFS
2011
14 years 9 months ago
2011
— “Pairing” is the establishment of authenticated key agreement between two devices over a wireless channel. Such devices are ad hoc in nature as they lack any common preshar...
EUROPKI
2005
Springer
15 years 7 months ago
2005
Springer
In an electronic cash (e-cash) system, Recoverability means once you have lost your e-cash, you still can get back the amount of e-cash that you have lost. Untraceability means no ...
133
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
109
click to vote
ICNP
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— We propose the first practical solution to the longstanding problem of secure wireless routing in the presence of colluding attackers. Our secure routing protocol, Spr...