///
A segurança de um sistema de computação pode ser expressa por meio de algumas propriedades fundamentais. A propriedade na qual todas as ações realizadas no sistema são conhecidas e não podem ser escondidas ou negadas por seus autores; e que também é conhecida como irrefutabilidade ou não repudiação é denominada de: