Hi Some one know if is posible that the PKI have a mathematical or formal model to proof their properties Jesus Angel