Compositional System Security in the Presence of Interface-Confined Adversaries

@inproceedings{Garg2010CompositionalSS,
  title={Compositional System Security in the Presence of Interface-Confined Adversaries},
  author={Deepak Garg and Jason Franklin and Dilsun Kirli Kaynar},
  year={2010}
}
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various components expose: larger trusted components are built by combining interface calls in known ways; the adversary is confined to the interfaces it has access to, but may combine interface calls without restriction. Compositional reasoning for such systems is based on an extension of rely-guarantee reasoning for system… CONTINUE READING

Similar Papers

Loading similar papers…