Reasoning about Secure Interoperation using Soft Constraints. Bistarelli, S., Foley, S. N., & Barry, O. 2005. doi abstract bibtex The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for systems to interoperate indirectly across network routes. Such interoperation has been shown to provide the potential for circuitous paths across a network that violate security. In this paper we propose a constraint-based framework for representing access control configurations of systems. The secure reconfiguration of a system is depicted as a constraint satisfaction problem.
@conference{
11391_142855,
author = {Bistarelli, Stefano and Foley, SIMON N. and Barry, Osullivan},
title = {Reasoning about Secure Interoperation using Soft Constraints},
year = {2005},
publisher = {Springer},
volume = {173},
booktitle = {Formal Aspects in Security and Trust},
abstract = {The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for systems to interoperate indirectly across network routes. Such interoperation has been shown to provide the potential for circuitous paths across a network that violate security. In this paper we propose a constraint-based framework for representing access control configurations of systems. The secure reconfiguration of a system is depicted as a constraint satisfaction problem.},
doi = {10.1007/0-387-24098-5_13},
pages = {173--186}
}
Downloads: 0
{"_id":"6BW6edTEkmLDzEoe5","bibbaseid":"bistarelli-foley-barry-reasoningaboutsecureinteroperationusingsoftconstraints-2005","author_short":["Bistarelli, S.","Foley, S. N.","Barry, O."],"bibdata":{"bibtype":"conference","type":"conference","author":[{"propositions":[],"lastnames":["Bistarelli"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Foley"],"firstnames":["SIMON","N."],"suffixes":[]},{"propositions":[],"lastnames":["Barry"],"firstnames":["Osullivan"],"suffixes":[]}],"title":"Reasoning about Secure Interoperation using Soft Constraints","year":"2005","publisher":"Springer","volume":"173","booktitle":"Formal Aspects in Security and Trust","abstract":"The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for systems to interoperate indirectly across network routes. Such interoperation has been shown to provide the potential for circuitous paths across a network that violate security. In this paper we propose a constraint-based framework for representing access control configurations of systems. The secure reconfiguration of a system is depicted as a constraint satisfaction problem.","doi":"10.1007/0-387-24098-5_13","pages":"173–186","bibtex":"@conference{\n\t11391_142855,\n\tauthor = {Bistarelli, Stefano and Foley, SIMON N. and Barry, Osullivan},\n\ttitle = {Reasoning about Secure Interoperation using Soft Constraints},\n\tyear = {2005},\n\tpublisher = {Springer},\n\tvolume = {173},\n\tbooktitle = {Formal Aspects in Security and Trust},\n\tabstract = {The security of a network configuration is based not just on the security of its individual components and their direct interconnections, but also on the potential for systems to interoperate indirectly across network routes. Such interoperation has been shown to provide the potential for circuitous paths across a network that violate security. In this paper we propose a constraint-based framework for representing access control configurations of systems. The secure reconfiguration of a system is depicted as a constraint satisfaction problem.},\n\tdoi = {10.1007/0-387-24098-5_13},\t\n\tpages = {173--186}\n}\n","author_short":["Bistarelli, S.","Foley, S. N.","Barry, O."],"key":"11391_142855","id":"11391_142855","bibbaseid":"bistarelli-foley-barry-reasoningaboutsecureinteroperationusingsoftconstraints-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"conference","biburl":"http://www.dmi.unipg.it/~bista/papers/pubblicazioni.bib","dataSources":["GhB5rb8JzW6az3exo"],"keywords":[],"search_terms":["reasoning","secure","interoperation","using","soft","constraints","bistarelli","foley","barry"],"title":"Reasoning about Secure Interoperation using Soft Constraints","year":2005}