Moving from Administrative Tasks to Security: The Benefits of Utilizing a Formal Agent