A política de “mesa limpa” e de “tela limpa”, segundo a norma ISO 27002:2005, deve considerar diversos procedimentos e controles, dentre os quais, o seguinte:

Um funcionário da seção responsável pela segurança da informação de uma pequena empresa recebeu uma instrução, baseada nas normas pertinentes, denominada Segurança para Correio Eletrônico, para ser implementada. O texto da instrução alertava sobre os vários riscos de segurança existentes na rede da empresa e, como prioridade máxima, a vulnerabilidade das mensagens a acesso não autorizado. A instrução também sugeria políticas para minimizar ou evitar os possíveis efeitos negativos de ocorrências, como interceptação de mensagens e consequente acesso a dados sensíveis e confidenciais da empresa. Como consequência dessas políticas, entre outras providências, a instrução sugeria a adoção de procedimento de proteção à confidencialidade e à integridade das mensagens eletrônicas.

Nesse contexto de riscos e prioridade, um exemplo de técnica possível de ser adotada para atender à instrução é a técnica de

Dado que W, Y e Z são proposições no contexto do Cálculo Proposicional, podendo assumir valores falsos ou verdadeiros, conclui-se que

Considerando os predicados: chefe(x) significando que x é chefe, departamento(x) significando que x é um departamento e chefia (x, y) significando que x chefia y, a restrição “Todo chefe chefia um departamento” pode ser expressa pela seguinte fórmula da lógica de predicados de primeira ordem:

Dados os conectivos que representam, respectivamente, as operações de negação, conjunção e disjunção da lógica clássica, a operação de ou exclusivo (xor) entre duas fórmulas a e b pode ser definida pela seguinte fórmula: