Soft Constraints for Security Protocol Analysis: Confidentiality. Bella, G. & Bistarelli, S. In Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, volume 1990, of Lecture Notes in Computer Science, pages 108–122, 2001. Springer.
Soft Constraints for Security Protocol Analysis: Confidentiality [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/padl/BellaB01,
  author       = {Giampaolo Bella and
                  Stefano Bistarelli},
  editor       = {I. V. Ramakrishnan},
  title        = {Soft Constraints for Security Protocol Analysis: Confidentiality},
  booktitle    = {Practical Aspects of Declarative Languages, Third International Symposium,
                  {PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1990},
  pages        = {108--122},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45241-9\_8},
  doi          = {10.1007/3-540-45241-9\_8},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BellaB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0