Skip to content

Noninterference and the composability of security properties.

Daryl McCullough

VenueA*SP
Year1988
ProceedingsS&P

Browse the full SP paper archive.