10. Security Considerations

The security considerations are related to real TLS deployments and therefor not included in the symbolic model for now.