Security models section expanded.
One-time signatures example.
Bogdan's comments part 1.
Mixnets overview.