2421 search results - page 159 / 485 » Message from the Co-Chairs |
CCR
2000
13 years 9 months ago
2000
Non-repudiation protocols aim at preventing parties in a communication from falsely denying having taken part in that communication; for example, a non-repudiation protocol for di...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
—THIS PAPER IS ELIGIBLE FOR THE STUDENT PAPER AWARD. It is known that the capacity of parallel (e.g., multi-carrier) Gaussian point-to-point, multiple access and broadcast channe...
ACL
2010
13 years 7 months ago
2010
Letter-substitution ciphers encode a document from a known or hypothesized language into an unknown writing system or an unknown encoding of a known writing system. It is a proble...
ACL
2010
13 years 7 months ago
2010
A central problem in historical linguistics is the identification of historically related cognate words. We present a generative phylogenetic model for automatically inducing cogn...
ESORICS
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...