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

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

Abstract

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

Topics

6 Figures and Tables

Statistics

02040'96'99'02'05'08'11'14'17
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