741 search results - page 46 / 149 » Verification of security protocols using LOTOS-method and ap... |
179
Voted
CAMAD
2006
IEEE
15 years 6 months ago
2006
IEEE
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...
139
click to vote
SIGCOMM
1997
ACM
15 years 8 months ago
1997
ACM
As multicast applications are deployed for mainstream use, the need to secure multicast communications will become critical. Multicast, however, does not t the point-to-point mod...
137
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
134
click to vote
SPW
2005
Springer
15 years 9 months ago
2005
Springer
This paper recounts some lessons that we learned from the deployment of host-to-host IPsec in a large corporate network. Several security issues arise from mismatches between the d...
114
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
We derive a new entropic quantum uncertainty relation involving min-entropy. The relation is tight and can be applied in various quantum-cryptographic settings. Protocols for quant...