Injecting heterogeneity through protocol randomization (2007)
Cached
Download Links
| Venue: | 0. We obtain Ui = M − c . Because c− bc � � pL = bc b − pL |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Zhuang07injectingheterogeneity,
author = {Li Zhuang and J. Doug Tygar and Rachna Dhamija and Computer Science Division},
title = {Injecting heterogeneity through protocol randomization},
booktitle = {0. We obtain Ui = M − c . Because c− bc � � pL = bc b − pL},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly generate security protocols as a method of introducing heterogeneity. We present the results of simulations for the case of two party authentication protocols and argue that choosing protocols randomly out of sets numbering in the hundreds of millions is practical and achievable with an acceptable overhead. To realize the simulation, we implemented a highly efficient protocol verifier, achieving approximately two orders of magnitude improvement in performance compared to previous work.
