Public Key Infrastructure - theory and practice