Key management models by Marcel van Assen