Automated analysis of security protocols with global state (bibtex)
by Steve Kremer, Robert Künnemann
Reference:
Automated analysis of security protocols with global state (Steve Kremer, Robert Künnemann), In IEEE Symposium on Security & Privacy (Oakland), 2014.
Bibtex Entry:
@inproceedings{DBLP:journals/corr/KremerK14,
  author    = {Steve Kremer and
               Robert K{\"u}nnemann},
  title     = {Automated analysis of security protocols with global state},
  booktitle = {IEEE Symposium on Security \& Privacy (Oakland)},
  year = 2014,
}
Powered by bibtexbrowser