Вопросы с тегом «verification»

85
Проверить сертификаты SSL с помощью Python

Мне нужно написать сценарий, который подключается к множеству сайтов в нашей корпоративной интрасети через HTTPS и проверяет действительность их сертификатов SSL; что срок их действия не истек, что они выпущены для правильного адреса и т. д. Мы используем наш собственный внутренний корпоративный...

84
Как читать это «доказательство» GHC Core?

Я написал этот небольшой фрагмент Haskell, чтобы выяснить, как GHC доказывает, что для натуральных чисел вы можете уменьшить вдвое только четные: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family Flip (x ::...