Skip to content

Reasoning About Security Models.

John McLean

VenueA*SP
Year1987
ProceedingsS&P

Browse the full SP paper archive.