Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols

Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. Bistarelli, S., Cervesato, I., Lenzini, G., & Martinelli, F. In Gorodetsky, V., Popyack, L. J., & Skormin, V. A., editors, Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings, volume 2776, of Lecture Notes in Computer Science, pages 86–99, 2003. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/mmmacns/BistarelliCLM03,
  author       = {Stefano Bistarelli and
                  Iliano Cervesato and
                  Gabriele Lenzini and
                  Fabio Martinelli},
  editor       = {Vladimir Gorodetsky and
                  Leonard J. Popyack and
                  Victor A. Skormin},
  title        = {Relating Process Algebras and Multiset Rewriting for Immediate Decryption
                  Protocols},
  booktitle    = {Computer Network Security, Second International Workshop on Mathematical
                  Methods, Models, and Architectures for Computer Network Security,
                  {MMM-ACNS} 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2776},
  pages        = {86--99},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45215-7\_7},
  doi          = {10.1007/978-3-540-45215-7\_7},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/mmmacns/BistarelliCLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0