User Tools

Site Tools


Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (BibTeX)

@ARTICLE{DeganoKuestersViganoZdancewic-IC-2008,
  author = {P.~Degano and R.~K{\"u}sters and L.~Vigan{\'o} and S.~Zdancewic (editors)},
  title = {{Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis}},
  journal = {Information and Computation},
  year = 2008,
  volume = 206,
  number = {2-4},
  month = {February-April},
  pages = {129--490}
}