Skip to content

A model for secure protocols and their compositions.

Nevin Heintze, J. Doug Tygar

VenueA*SP
Year1994
ProceedingsS&P

Browse the full SP paper archive.