Reasoning about Secure Interoperation Using Soft Constraints. Bistarelli, S., Foley, S. N., & O'Sullivan, B. In Proceedings of Formal Aspects in Security and Trust, pages 173-186, 2004.
Paper bibtex @inproceedings{ dblp3978555,
title = {Reasoning about Secure Interoperation Using Soft Constraints},
author = {Stefano Bistarelli and Simon N. Foley and Barry O'Sullivan},
author_short = {Bistarelli, S. and Foley, S. N. and O'Sullivan, B.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2004},
key = {dblp3978555},
id = {dblp3978555},
biburl = {http://www.dblp.org/rec/bibtex/conf/ifip1-7/BistarelliFO04},
url = {http://dx.doi.org/10.1007/0-387-24098-5_13},
conference = {Formal Aspects in Security and Trust},
pages = {173-186},
text = {Formal Aspects in Security and Trust 2004:173-186},
booktitle = {Proceedings of Formal Aspects in Security and Trust}
}
Downloads: 0
{"_id":{"_str":"53f5b55bf7f6696c7c0000f2"},"__v":0,"authorIDs":["5457089d8b01c8193000012f"],"author_short":["Bistarelli, S.","Foley, S. N.","O'Sullivan, B."],"bibbaseid":"bistarelli-foley-oapossullivan-reasoningaboutsecureinteroperationusingsoftconstraints-2004","bibdata":{"title":"Reasoning about Secure Interoperation Using Soft Constraints","author":["Stefano Bistarelli","Simon N. Foley","Barry O'Sullivan"],"author_short":["Bistarelli, S.","Foley, S. N.","O'Sullivan, B."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp3978555","id":"dblp3978555","biburl":"http://www.dblp.org/rec/bibtex/conf/ifip1-7/BistarelliFO04","url":"http://dx.doi.org/10.1007/0-387-24098-5_13","conference":"Formal Aspects in Security and Trust","pages":"173-186","text":"Formal Aspects in Security and Trust 2004:173-186","booktitle":"Proceedings of Formal Aspects in Security and Trust","bibtex":"@inproceedings{ dblp3978555,\n title = {Reasoning about Secure Interoperation Using Soft Constraints},\n author = {Stefano Bistarelli and Simon N. Foley and Barry O'Sullivan},\n author_short = {Bistarelli, S. and Foley, S. N. and O'Sullivan, B.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3978555},\n id = {dblp3978555},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ifip1-7/BistarelliFO04},\n url = {http://dx.doi.org/10.1007/0-387-24098-5_13},\n conference = {Formal Aspects in Security and Trust},\n pages = {173-186},\n text = {Formal Aspects in Security and Trust 2004:173-186},\n booktitle = {Proceedings of Formal Aspects in Security and Trust}\n}","bibbaseid":"bistarelli-foley-oapossullivan-reasoningaboutsecureinteroperationusingsoftconstraints-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/0-387-24098-5_13"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ifip1-7/BistarelliFO04","creationDate":"2014-08-21T09:01:15.266Z","downloads":0,"keywords":[],"search_terms":["reasoning","secure","interoperation","using","soft","constraints","bistarelli","foley","o'sullivan"],"title":"Reasoning about Secure Interoperation Using Soft Constraints","year":2004,"dataSources":["NuSQa6jxgC9Rnwz9s"]}