@INPROCEEDINGS {5636,
author={C. Caleiro and L. Viganò and D. Basin},
doi={},
booktitle={Comblog Workshop on Combination of Logics: Theory and Applications - CombLog},
title={Towards a metalogics for security protocol analysis},
year={2004},
month={January},
volume={-},
pages={187-196} 
}