3 ms·
Yes. IPsec is widely used, and TLS on top of that with formally verified specialized implementations of IPsec. They also use data diodes, restricting the syntax
by wbl 10y ago
Yes. IPsec is widely used, and TLS on top of that with formally verified specialized implementations of IPsec. They also use data diodes, restricting the syntax of data that flows into and out of networks.
- eganist 10y agoI appreciate this, but I should clarify that I'm speaking specifically to active defense (hence defensive operations) rather than developing, publishing, and using defensive best practices, which I'd personally consider more passive than anything else.