PSOS Revisited.

Peter G. Neumann, Richard J. Feiertag

Browse the full ACSAC paper archive.