A system is secure with respect to a certain property if one can guarantee that property with a reasonably high probabilityRead less