Rapporter Model and specification for analyzing the scalability of a public key infrastructure (2009) Winjum, Eli, Fongen, Anders