Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
- Michael Backes
- 2006
- Electronic Notes in Theoretical Computer Science
Paper
Publications
9271 results for Computer Science
Autonomic features of the IBM DB2 universal database for Linux, UNIX, and Windows
- Christian M. Garcia-Arellano
- Sam S. Lightstone
- et al.
- 2006
- IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews
PaperBounds on expansion in LZ'77-like coding
- Vittorio Castelli
- Luis Alfonso Lastras-Montaño
- 2006
- IEEE Trans. Inf. Theory
PaperBinary tree of SVM: A new fast multiclass training and classification algorithm
- Ben Fei
- Jinbai Liu
- 2006
- IEEE Transactions on Neural Networks
PaperTranslation invariance in a network of oscillatory units
- A. Ravishankar Rao
- Guillermo A. Cecchi
- et al.
- 2006
- IS&T/SPIE Electronic Imaging 2006
Conference paperInference and segmentation in cortical processing
- Yuan Liu
- Guillermo A. Cecchi
- et al.
- 2006
- IS&T/SPIE Electronic Imaging 2006
Conference paperA practical approach to extracting DTD-conforming XML documents from heterogeneous data sources
- Shyh-Kwei Chen
- Ming-Ling Lo
- et al.
- 2006
- Information Sciences
PaperConnection time for strange devices
- John J. Barton
- Fopefolu Folowosele
- et al.
- 2006
- HotMobile 2006
Conference paperSupporting mobile business workflow with commune
- John Davis
- Daby Sow
- et al.
- 2006
- HotMobile 2006
Conference paperMobile phones will become the primary personal computing devices
- John J. Barton
- Shumin Zhai
- et al.
- 2006
- HotMobile 2006
Conference paper