Justifying a Dolev-Yao Model Under Active Attacks

Sorry, there's nothing here.

Cite this paper

@inproceedings{Backes2004JustifyingAD, title={Justifying a Dolev-Yao Model Under Active Attacks}, author={Michael Backes and Birgit Pfitzmann and Michael Waidner}, booktitle={FOSAD}, year={2004} }