A general theory of composition for a class of "possibilistic" properties - McLean, J. (IEEE transactions on software engineering, 1996)
Keywords: Access control; Applied sciences; Computer programming; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Confidentiality; Cryptography; Cybersecurity; Exact sciences and technology; Feedback; Flow production systems; Information dissemination; Information security; Information, signal and communications theory; Interconnected systems; Interleaved codes; Laboratories; Programming theory; Refining; Safety; Signal and communications theory; Software; Software engineering; Studies; Telecommunications; Telecommunications and information theory; Teleprocessing networks. Isdn; Theoretical computing; System structure; Security systems; Partial ordering; Feedback regulation; Modeling; Information technology; System theory; Computer systems; Possibility theory; Specifications; Information flow; Reasoning; Security of data; Security key