Métodos formais

Os métodos formais são técnicas matemáticas para a especificação, desenvolvimento e verificação de sistemas de software. O uso de métodos formais para o desenvolvimento de software pode ser rastreado até os primeiros tempos da computação, quando os primeiros programas eram escritos em código assembly. No entanto, só nos anos 70 é que os métodos formais … Ler mais

Honeypots

Definição – O que significa Honeypot? Um honeypot é um sistema de computador engodo para capturar hackers ou rastrear métodos não convencionais ou novos de hackers. Os Honeypots são projetados para engajar e enganar intencionalmente os hackers e identificar atividades maliciosas realizadas na Internet. Vários honeypots podem ser configurados em uma rede para formar uma … Ler mais