Satır-içi referans izleme yöntemini kullanarak serbest bıraktıktan sonra kullanım zaafiyetlerinin Lua sanal makinesinde önlenmesi uygulaması

Pandemiden bu yana internetli nesnelerin ve akıllı cihazların kullanımı yaygınlaşmıştır. Bu durum internetli nesneler hakkında yapılan siber güvenlik çalışmalarına da hız kazandırmıştır. IoT ortamlarında güvenli yazılım ve donanım konusunda yapılan çalışmaların eksikliği, üretilen IoT cihazlarının güvenliğinin sağlanmasında pek çok parametrenin etkili olmasıyla atak yüzeyinin geniş olması, bu sebeple donanım ve yazılım güvenliğinin sağlanmasının zorlaşması IoT ortamlarını siber saldırganların yeni hedefi haline getirmiştir. Çalışmamızda IoT cihazlarında sıklıkla kullanılan Lua programlama dilinin kullanılabilirliğini akıllı buzdolapları için inceledik. Akıllı buzdolaplarında hem kullanılan teknolojilerin sisteme entegresi hem de doğrudan mikro denetleyicilerin programlanması için Lua programlama dilinin kullanabileceğini gözlemledik. Çalışmamız Lua programlama dili için satır-içi referans izleme yöntemini uygulayan ilk çalışmadır. Lua'nın semantik ve söz dizimsel kurallarına göre geliştirilen LuaLight aracı satır-içi referans izleme yöntemini kullanarak serbest bıraktıktan sonra kullanım zafiyet sınıfındaki CVE-2021-44964 ve CVE-2020-24371 zaafiyetlerine çalışma zamanında çözüm sunmuştur. Zaafiyetli Lua bayt kodları belirlenen güvenlik politikalarına göre yamalanmış, böylece daha güvenli bir hale getirilip olası siber atakları önlenmiştir. LuaLight aracının hafızada 28KB yer kaplaması ve performanslı sonuçlar vermesi sebebiyle IoT cihazlarına ve yardımcı uygulamalara eklemlendirilmesi mümkündür. Bu tez IoT güvenliği hakkında dil temelli bir yaklaşım ile LuaLight aracını kullanarak Lua programlama diliyle yazılmış uygulamaların güvenliğini çalışma zamanında sağlamayı amaçlar.