3088 search results - page 519 / 618 » Multichannel Security Protocols |
136
click to vote
CRYPTO
2003
Springer
15 years 9 months ago
2003
Springer
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...
129
click to vote
DSOM
2003
Springer
15 years 9 months ago
2003
Springer
Instead of relying completely on machine intelligence in anomaly event analysis and correlation, in this paper, we take one step back and investigate the possibility of a human-int...
127
click to vote
HUC
2009
Springer
15 years 9 months ago
2009
Springer
: © Authenticating Ubiquitous Services: A Study of Wireless Hotspot Access Tim Kindberg, Chris Bevan, Eamonn O'Neill, James Mitchell, Jim Grimmett, Dawn Woodgate HP Laborator...
143
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
134
click to vote
DIM
2007
ACM
15 years 8 months ago
2007
ACM
In a history-based trust-management system, users and service providers use information about past transactions to make trust-based decisions concerning current transactions. One ...