Aviel D. Rubin: Nonmonotonic cryptographic protocols. University of Michigan, USA 1994