Number SRI-CSL-93-13.
Computer Science Laboratory, SRI International.
December, 1993.

Advances in distributed systems and networking technology have made interoperation not only feasible but also increasingly popular. We define the interoperation of secure systems and its security, and prove complexity and composability results on obtaining optimal and secure interoperation. Most problems are NP-complete even for systems with very simple access control structures. Nevertheless, composability reduces complexity in that secure global interoperation can be obtained incrementally by composing secure local interoperation. We illustrate, through an application, how these theoretical results can help system designers in practice.

@techreport{sri-csl-93-13,
    AUTHOR = {Li Gong and Xiaolei Qian},
    TITLE = {The Complexity and Composability of Secure Interoperation},
    INSTITUTION = {Computer Science Laboratory, {SRI} International},
    YEAR = {1993},
    NUMBER = {{SRI-CSL-93-13}},
    MONTH = {December},
    URL = {http://www.csl.sri.com/papers/sri-csl-93-13/}
}

• sri-csl-93-13.dvi
• sri-csl-93-13.pdf
• sri-csl-93-13.ps