Interface abstraction for compositional verification

@article{Gurov2005InterfaceAF,
  title={Interface abstraction for compositional verification},
  author={Dilian Gurov and Marieke Huisman},
  journal={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)},
  year={2005},
  pages={414-423}
}
To support dynamic loading of applications on portable devices, one needs compositional reasoning techniques to ensure that newly loaded applications cannot break the overall security of a device. In earlier work, we developed an algorithmic verification technique for control flow based safety properties of smart card applications, which allows global system properties to be inferred from the properties of the components. Application of the technique requires knowledge of the names of all… CONTINUE READING

Similar Papers

Loading similar papers…