A general theory of composition for trace sets closed under selective interleaving functions

  • John McLean
  • Published 1994 in IEEE Symposium on Security and Privacy


This paper presents a general theory of system composition for \possibilistic" security properties. We see that these properties fall outside of the AlpernSchneider safety/liveness domain and hence, are not subject to the Abadi-Lamport Composition Principle. We then introduce a set of trace constructors called selective interleaving functions and show that… (More)
DOI: 10.1109/RISP.1994.296590


6 Figures and Tables


Citations per Year

349 Citations

Semantic Scholar estimates that this publication has 349 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics