361 search results - page 55 / 73 » Message Sequence Charts |
JAISE
2011
13 years 2 months ago
2011
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
ESORICS
2011
Springer
12 years 7 months ago
2011
Springer
For over two decades, timing attacks have been an active area of research within applied cryptography. These attacks exploit cryptosystem or protocol implementations that do not ru...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
A new technique to acquire pseudo-noise (PN) sequences has been recently proposed in [1] and [2]. It is based on the paradigm of iterative Message Passing (iMP) to be run on loopy...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...