Taşıma Katmanı Güvenliğinde Garip Makineler
Taşıma Katmanı Güvenliği'nde garip makinelerin hesaplama yeteneklerini keşfedin.
Garip makineler, mimari bileşenlerin birleşiminden ortaya çıkan gizli hesaplama yetenekleridir. Bu çalışma, Taşıma Katmanı Güvenliği (TLS) el sıkışma sürecine ve OpenSSL ile BoringSSL gibi önde gelen uygulamalarına bu teoriyi genişletmektedir. TLS'nin oturum önbelleği, yeniden müzakere mantığı ve sertifika doğrulama gibi meşru bileşenleri, güvenlik ve kimlik doğrulama kararlarıyla bağlantılı Turing-tamamlayıcı sistemler oluşturur.