A Language for Safe Capability Based Collaboration

  title={A Language for Safe Capability Based Collaboration},
  author={Yves Jaradin and Fred Spiessens and Peter Van Roy},
In capability secure systems it is important to understand t he restrictive influence programmed entities (e.g. procedures, objects, modules, components) have on the propagation of influence in a program. We explain why Take-Grant systems are not sufficien tly expressive for this task, and we provide a new formalism – Aut hority Reduction systems (AR-systems) – to model collaborati ve propagation. AR-systems provide safe and tractable approxima tions of adequate precision for the confinement… CONTINUE READING

Similar Papers

Loading similar papers…