3088 search results - page 39 / 618 » Multichannel Security Protocols |
SAC
2002
ACM
13 years 8 months ago
2002
ACM
We describe a resource discovery and communication system designed for security and privacy. All objects in the system, e.g., appliances, wearable gadgets, software agents, and us...
CNSR
2010
IEEE
13 years 11 months ago
2010
IEEE
In the past few years the security issues in the supervisory control and data acquisition (SCADA) system have been investigated, and many security mechanisms have been proposed fro...
IMA
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The key agreement protocol are either based on some computational infeasability, such as the calculus of the discrete logarithm in [1], or on theoretical impossibility un...
TCC
2007
Springer
14 years 2 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
IJISEC
2008
13 years 8 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...