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. 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
{"_id":{"_str":"53f475e53d9d602c1a001296"},"__v":3,"authorIDs":["5457089d8b01c8193000012f"],"author_short":["Bella, G.","Bistarelli, S."],"bibbaseid":"bella-bistarelli-softconstraintsforsecurityprotocolanalysisconfidentiality-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giampaolo"],"propositions":[],"lastnames":["Bella"],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]}],"editor":[{"firstnames":["I.","V."],"propositions":[],"lastnames":["Ramakrishnan"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/padl/BellaB01,\n author = {Giampaolo Bella and\n Stefano Bistarelli},\n editor = {I. V. Ramakrishnan},\n title = {Soft Constraints for Security Protocol Analysis: Confidentiality},\n booktitle = {Practical Aspects of Declarative Languages, Third International Symposium,\n {PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1990},\n pages = {108--122},\n publisher = {Springer},\n year = {2001},\n url = {https://doi.org/10.1007/3-540-45241-9\\_8},\n doi = {10.1007/3-540-45241-9\\_8},\n timestamp = {Tue, 14 May 2019 10:00:42 +0200},\n biburl = {https://dblp.org/rec/conf/padl/BellaB01.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bella, G.","Bistarelli, S."],"editor_short":["Ramakrishnan, I. V."],"key":"DBLP:conf/padl/BellaB01","id":"DBLP:conf/padl/BellaB01","bibbaseid":"bella-bistarelli-softconstraintsforsecurityprotocolanalysisconfidentiality-2001","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-45241-9\\_8"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","creationDate":"2014-08-20T10:18:13.696Z","downloads":0,"keywords":[],"search_terms":["soft","constraints","security","protocol","analysis","confidentiality","bella","bistarelli"],"title":"Soft Constraints for Security Protocol Analysis: Confidentiality","year":2001,"dataSources":["BdSNx7DFqX9RjWbWF","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4","NMm7YpyiDxjcnpopo","WXL4P7BKHQy7Qss6y"]}