Nie do zhakowania: formalne dowody jako fundament bezpieczeństwa nowej generacji
W 2023 roku luka w implementacji protokołu TLS pozwoliła na przechwycenie danych z serwerów kilku banków. Audyt wykazał, że błąd tkwił w założeniu projektowym, którego nie wykryły standardowe testy. Dla instytucji finansowych i agencji rządowych,…
