@Article{BPA+11,
author={S. Basagiannis and S. Petridou and N. Alexiou and G. Papadimitriou and P. Katsaros},
title={Quantitative Analysis Of A Certified E-Mail Protocol In Mobile Environments: A Probabilistic Model Checking Approach},
journal={Computers \& Security},
year={2011},

volume={},
number={},
pages={},
publisher={Elsevier},
month={},
note={},
key={}
}