Statistics for A Public key infrastructure based model for verification of title deeds in Kenya