Formal Tools for Cybersecurity