%0 Conference Paper %1 conf/padl/BellaB01 %A Bella, Giampaolo %A Bistarelli, Stefano %B PADL %D 2001 %E Ramakrishnan, I. V. %I Springer %K dblp %P 108-122 %T Soft Constraints for Security Protocol Analysis: Confidentiality. %U http://dblp.uni-trier.de/db/conf/padl/padl2001.html#BellaB01 %V 1990 %@ 3-540-41768-0

@inproceedings{conf/padl/BellaB01, added-at = {2017-06-05T00:00:00.000+0200}, author = {Bella, Giampaolo and Bistarelli, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/293c3fbb99a24a2219701f8fc16a15251/dblp}, booktitle = {PADL}, crossref = {conf/padl/2001}, editor = {Ramakrishnan, I. V.}, ee = {https://doi.org/10.1007/3-540-45241-9_8}, interhash = {46d1cfd5105d4e9401dea5adb326bc60}, intrahash = {93c3fbb99a24a2219701f8fc16a15251}, isbn = {3-540-41768-0}, keywords = {dblp}, pages = {108-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:44:57.000+0200}, title = {Soft Constraints for Security Protocol Analysis: Confidentiality.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2001.html#BellaB01}, volume = 1990, year = 2001 }