@inproceedings{DBLP:conf/atc/BistarelliMS10,
  author       = {Stefano Bistarelli and
                  Fabio Martinelli and
                  Francesco Santini},
  editor       = {Bing Xie and
                  J{\"{u}}rgen Branke and
                  Seyed Masoud Sadjadi and
                  Daqing Zhang and
                  Xingshe Zhou},
  title        = {A Formal Framework for Trust Policy Negotiation in Autonomic Systems:
                  Abduction with Soft Constraints},
  booktitle    = {Autonomic and Trusted Computing - 7th International Conference, {ATC}
                  2010, Xi'an, China, October 26-29, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6407},
  pages        = {268--282},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16576-4\_20},
  doi          = {10.1007/978-3-642-16576-4\_20},
  timestamp    = {Wed, 11 Nov 2020 16:58:37 +0100},
  biburl       = {https://dblp.org/rec/conf/atc/BistarelliMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":{"_str":"53ac065853ed86111a000c98"},"__v":1,"authorIDs":["5457089d8b01c8193000012f","5a8SaRQZEqQauLeSj","5dec2eeed39dc7de01000059","5defa628706001de01000155","5df0bf368367c8de0100014e","5df7a6a2f3cb28df0100013e","5df8c7c4e6b510df0100018c","5df8e4de877972de0100016c","5df99361c4ada8de01000018","5dfea9342331dfdf01000059","5e012b722e225bde01000053","5e0968c8ade67ddf01000043","5e0b068b3830a1df010000e1","5e10a884cfb06ddf0100002c","5e10fd55d6a01ede01000024","5e142e4b12768ef30100003c","5e1961659eca7cdf01000080","5e1a2ca69fbdddde010000ff","5e1f814208195af3010000a8","5e2b62d96366e2df010000e6","5e2b8ef4f92538df01000011","5e2d73a3556d50df01000041","5e30e7755f9c1cf2010000d7","5e35f2395cd57fde010000c7","5e3a22e3c268d2de01000108","5e3b007c55f0f2df0100011a","5e3e128b4cdb49de0100008a","5e4094bbd668c6de0100007c","5e40f782fd6934df01000169","5e413b68b7d170df01000092","5e42e16aa6f4a6f2010000d1","5e4eddeb2962cadf010000e9","5e54f08fb8e445df01000107","6rZ7TmdCqfG4dxRdT","Q5h43gs9oNpAm4KeK","Zw3hLXQ8Xyab4HobY"],"author_short":["Bistarelli, S.","Martinelli, F.","Santini, F."],"bibbaseid":"bistarelli-martinelli-santini-aformalframeworkfortrustpolicynegotiationinautonomicsystemsabductionwithsoftconstraints-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Martinelli"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]}],"editor":[{"firstnames":["Bing"],"propositions":[],"lastnames":["Xie"],"suffixes":[]},{"firstnames":["Jürgen"],"propositions":[],"lastnames":["Branke"],"suffixes":[]},{"firstnames":["Seyed","Masoud"],"propositions":[],"lastnames":["Sadjadi"],"suffixes":[]},{"firstnames":["Daqing"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Xingshe"],"propositions":[],"lastnames":["Zhou"],"suffixes":[]}],"title":"A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints","booktitle":"Autonomic and Trusted Computing - 7th International Conference, ATC 2010, Xi'an, China, October 26-29, 2010. Proceedings","series":"Lecture Notes in Computer Science","volume":"6407","pages":"268–282","publisher":"Springer","year":"2010","url":"https://doi.org/10.1007/978-3-642-16576-4\\_20","doi":"10.1007/978-3-642-16576-4_20","timestamp":"Wed, 11 Nov 2020 16:58:37 +0100","biburl":"https://dblp.org/rec/conf/atc/BistarelliMS10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atc/BistarelliMS10,\n author = {Stefano Bistarelli and\n Fabio Martinelli and\n Francesco Santini},\n editor = {Bing Xie and\n J{\\\"{u}}rgen Branke and\n Seyed Masoud Sadjadi and\n Daqing Zhang and\n Xingshe Zhou},\n title = {A Formal Framework for Trust Policy Negotiation in Autonomic Systems:\n Abduction with Soft Constraints},\n booktitle = {Autonomic and Trusted Computing - 7th International Conference, {ATC}\n 2010, Xi'an, China, October 26-29, 2010. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {6407},\n pages = {268--282},\n publisher = {Springer},\n year = {2010},\n url = {https://doi.org/10.1007/978-3-642-16576-4\\_20},\n doi = {10.1007/978-3-642-16576-4\\_20},\n timestamp = {Wed, 11 Nov 2020 16:58:37 +0100},\n biburl = {https://dblp.org/rec/conf/atc/BistarelliMS10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Martinelli, F.","Santini, F."],"editor_short":["Xie, B.","Branke, J.","Sadjadi, S. M.","Zhang, D.","Zhou, X."],"key":"DBLP:conf/atc/BistarelliMS10","id":"DBLP:conf/atc/BistarelliMS10","bibbaseid":"bistarelli-martinelli-santini-aformalframeworkfortrustpolicynegotiationinautonomicsystemsabductionwithsoftconstraints-2010","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-16576-4\\_20"},"metadata":{"authorlinks":{"bistarelli, s":"https://bista.sites.dmi.unipg.it/papers/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","creationDate":"2014-06-26T11:39:04.744Z","downloads":0,"keywords":[],"search_terms":["formal","framework","trust","policy","negotiation","autonomic","systems","abduction","soft","constraints","bistarelli","martinelli","santini"],"title":"A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints","year":2010,"dataSources":["SjN5QvQnwzXZgxsKq","GhB5rb8JzW6az3exo","PCdRvyaDZRZMeqKhf","T6HLi2LBH4teAezac","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4","NMm7YpyiDxjcnpopo","WXL4P7BKHQy7Qss6y"]}