Security and Applied Logic