Abstract-Modern nätverkssäkerhet vilar på Secure Sockets Layer (SSL) och Transport Layer Security (TLS) protokoll. Distribuerade system, mobila och stationära applikationer, inbyggda enheter, och alla säkra webben förlitar sig på SSL/TLS för skydd mot nätverksattacker. Detta skydd beror kritiskt på om SSL/TLS-klienter korrekt validerar X.509-certifikat som presenteras av servrar under SSL/TLS-handslagsprotokollet. Vi designar, implementerar och tillämpar den första metoden för storskalig testning av certifikatvalideringslogik i SSL/TLS-implementationer. Vår första ingrediens är "rankencert", syntetiska certifikat som slumpmässigt muteras från delar av verkliga certifikat och därmed inkluderar ovanliga kombinationer av förlängningar och begränsningar. Vår andra ingrediens är differentialtestning: om en SSL/TLS-implementation accepterar ett certifikat medan en annan avvisar samma certifikat, använder vi avvikelsen som ett orakle för att hitta brister i enskilda implementationer. Differentiella tester med frankencerts avslöjade 208 skillnader mellan populära SSL/TLS-implementationer som OpenSSL, NSS, CyaSSL, GnuTLS, PolarSSL, MatrixSSL, etc. Många av dem orsakas av allvarliga säkerhetsproblem. Till exempel kan en server med ett giltigt X.509 version 1-certifikat fungera som en oseriös certifikatmyndighet och utfärda falska certifikat för alla domäner, vilket möjliggör man-in-the-middle attacker mot MatrixSSL och GnuTLS. Flera implementeringar accepterar också certifikatmyndigheter som skapats av otillåtna emittenter, samt certifikat som inte är avsedda för serverautentisering. Vi fann också allvarliga sårbarheter i hur användare varnas för certifikatvalideringsfel. När de presenteras med en utgången, självsignerad certifikat, NSS, Safari, och Chrome (på Linux) rapportera att certifikatet har gått ut-en låg risk, ofta ignorerade fel-men inte att anslutningen är osäker mot en man-i-mitten attack. Dessa resultat visar att automatiserad kontradiktorisk testning med frankencerts är en kraftfull metod för att upptäcka säkerhetsbrister i SSL/TLS-implementationer.
Brubaker m.fl. fann också allvarliga sårbarheter i populära implementeringar av SSL/TLS med hjälp av "frankencerts", dvs certifikat med ovanliga kombinationer av utökningar och begränsningar REF.
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
{'venue': '2014 IEEE Symposium on Security and Privacy', 'journal': '2014 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science', 'Medicine']}