Search dblp for Publications

export results for "toc:db/conf/arspa/arspa2005.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/CaleiroVB05a,
  author       = {Carlos Caleiro and
                  Luca Vigan{\`{o}} and
                  David A. Basin},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Deconstructing Alice and Bob},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {3--22},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.007},
  doi          = {10.1016/J.ENTCS.2005.06.007},
  timestamp    = {Thu, 15 Dec 2022 13:58:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaleiroVB05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CremersMV05,
  author       = {Cas J. F. Cremers and
                  Sjouke Mauw and
                  Erik P. de Vink},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {A Syntactic Criterion for Injectivity of Authentication Protocols},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {23--38},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.006},
  doi          = {10.1016/J.ENTCS.2005.06.006},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CremersMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DSouzaRS05,
  author       = {Deepak D'Souza and
                  K. R. Raghavendra and
                  Barbara Sprick},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {An Automata Based Approach for Verifying Information Flow Properties},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {39--58},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.005},
  doi          = {10.1016/J.ENTCS.2005.06.005},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DSouzaRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DeganoV05,
  author       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Preface},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.008},
  doi          = {10.1016/J.ENTCS.2005.06.008},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DeganoV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GotsmanMP05,
  author       = {Alexey Gotsman and
                  Fabio Massacci and
                  Marco Pistore},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Towards an Independent Semantics and Verification Technology for the
                  {HLPSL} Specification Language},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {59--77},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.004},
  doi          = {10.1016/J.ENTCS.2005.06.004},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GotsmanMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ImamotoS05,
  author       = {Kenji Imamoto and
                  Kouichi Sakurai},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Design and Analysis of Diffie-Hellman-Based Key Exchange Using One-time
                  {ID} by {SVO} Logic},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {79--94},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.003},
  doi          = {10.1016/J.ENTCS.2005.06.003},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ImamotoS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NesiR05,
  author       = {Monica Nesi and
                  Giuseppina Rucci},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol
                  by Rewriting},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {95--114},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.002},
  doi          = {10.1016/J.ENTCS.2005.06.002},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NesiR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NielsenAN05,
  author       = {Christoffer Rosenkilde Nielsen and
                  Esben Heltoft Andersen and
                  Hanne Riis Nielson},
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Static Validation of a Voting Protocol},
  booktitle    = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  pages        = {115--134},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.06.001},
  doi          = {10.1016/J.ENTCS.2005.06.001},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NielsenAN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/arspa/2005,
  editor       = {Pierpaolo Degano and
                  Luca Vigan{\`{o}}},
  title        = {Proceedings of the Second Workshop on Automated Reasoning for Security
                  Protocol Analysis, ARSPA@ICALP 2005, Lisbon, Portugal, July 16, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/135/issue/1},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arspa/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.