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}
}