Computational techniques for increasing PKI policy comprehension by human analysts