Compositionality of secure information flow

  • Authors:
  • Catuscia Palamidessi

  • Affiliations:
  • INRIA and LIX, École Polytechnique, Palaiseau, France

  • Venue:
  • MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract