Entendemos por
software
fiable aquel
que hace lo
que tiene
que hacer, y
por software seguro aquel
que hace lo que tiene que hacer y nada mas.