https://123dok.net/document/yr309g3o-socio-technical-formal-analysis-certificate-validation-modern-browsers.html