BibTeX record conf/psec/AroraT09

download as .bib file

@inproceedings{DBLP:conf/psec/AroraT09,
  author    = {Charu Arora and
               Mathieu Turuani},
  title     = {Validating Integrity for the Ephemerizer's Protocol with CL-Atse},
  booktitle = {Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese
               Collaboration},
  pages     = {21--32},
  year      = {2009},
  crossref  = {DBLP:conf/psec/2009},
  url       = {https://doi.org/10.1007/978-3-642-02002-5\_2},
  doi       = {10.1007/978-3-642-02002-5\_2},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psec/AroraT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psec/2009,
  editor    = {V{\'{e}}ronique Cortier and
               Claude Kirchner and
               Mitsuhiro Okada and
               Hideki Sakurada},
  title     = {Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese
               Collaboration},
  series    = {Lecture Notes in Computer Science},
  volume    = {5458},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02002-5},
  doi       = {10.1007/978-3-642-02002-5},
  isbn      = {978-3-642-02001-8},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psec/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics