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.
Reasoning about Secure Interoperation Using Soft Constraints [link]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