718 search results - page 94 / 144 » Security protocols, properties, and their monitoring |
147
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—An attacker that can identify messages as coming from the same source, can use this information to build up a picture of targets’ behaviour, and so, threaten their privacy. In...
197
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Anonymity is a security property of paramount importance, as we move steadily towards a wired, online community. Its import touches upon subjects as different as eGovernance, eBusi...
213
click to vote
FORTE
2009
15 years 3 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
179
click to vote
CTRSA
2008
Springer
15 years 7 months ago
2008
Springer
Public key based authentication and key exchange protocols are not usually designed with privacy in mind and thus involve cleartext exchanges of identities and certificates before ...
143
click to vote
ICIW
2007
IEEE
16 years 11 days ago
2007
IEEE
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...