Protocol Analysis for Concrete Environments

@inproceedings{Gollmann2005ProtocolAF,
  title={Protocol Analysis for Concrete Environments},
  author={Dieter Gollmann},
  booktitle={EUROCAST},
  year={2005}
}