[OWASP-TR Mobil Güvenlik Çalıştayı 2015] Mehmet Sabır Kiraz & Osmanbey Uzunkol -...

Kriptografik Hesaplamaların Buluta Güvenli Tevdisi

Mehmet Sabır Kiraz & Osmanbey Uzunkol Matematiksel ve Hesaplamalı Bilimler, TÜBİTAK BİLGEM

14 Ekim 2015

OWASP Mobil Güvenlik Çalıştayı Supported by a project funded by EU FP7 Cocirculation Scheme with TÜBİTAK (114C027)

2

Güvenli Hesaplama Problemleri

•  Kim veriye sahip? •  Kim veriye ulaşabilir?

Servis Sağlayıcı Veri Merkezi Sistem Admini

3. Kişilere Güven Riski Kabul Etmektir!

3

Veri Akışı ve Güvenliği

- Veri Sahibi - Kullanıcı

Web Sunucu

Bulut Servis Sağlayıcı

…

Depolama Servis Sağlayıcı

Uygulamalar

-  Kimlik Doğrulama -  Güvenli Haberleşme

Veri Şifreleme Veritabanı & Dosya)

…

Güvenlik Sağlayıcı

4

Güvenlik Riskleri: Kime Güvenmeli? Ne Yanlış Gidebilir?

•  Uygulamalar hatalı, bozulmuş, ya da kötü niyetli olabilir (Bulut tarafında Güven)

•  Bulut Platformu hatalı, bozulmuş, ya da kötü niyetli olabilir (Buluta Güven)

§  hesaplama ve depolama sunucuları dahil •  Bulut çalışanları kötü niyetli olabilir (Buluta Güven) •  Kötü niyetli Bulut kullanıcıları veya ağ saldırganları

(Bulut tarafından sağlanan Güven)

5

Ne Sağlamalı?

•  Gizlilik – Saklanan Veri

•  Bütünlük – Depolanan Veri – Bulutta yapılan hesaplamalar

6

Saldırgan Yeteneği: İçeriden Saldırı

•  İstemci tarafı –  Parola, kripto anahtarları

•  Bulut tarafı –  İstemci hareketleri loglanabilir –  Şifresiz verileri okunanabilir –  Ağ iletişimi monitör edilebilir –  Neden?

•  İstemci verilerini öğrenme •  İstemci davranışlarını analiz etme •  Verileri kullan ya da sat

7

Hesaplamaların Tevdisi: Hesaplama Kaynağı-olarak-Servis

Motivasyon: Kaynak kısıtlı bir cihazın hesaplamaları Buluta tevdisi!

1. Koşul: Hesaplama mevcuttan daha hızlı

olmalıdır

2. Koşul: Doğrulama hesaplamadan daha masraflı olmamalıdır

𝑥

𝑦=𝑓(𝑥)

8

Hesaplamaların Tevdisi

3. Koşul: Bulutun saldırgan olduğu varsayılır!

𝑥

𝑦=𝑓(𝑥)

En Umut Verici Pratik Çözümler: •  Yao’nun bozuk devreleri (Fairplay SCAPI, FastGC vb.) •  Parçalı Homomorfik Şifreleme (örn, ElGamal, Paillier)

•  Dağıtık Şifreleme (Threshold Şifreleme), •  Sıfır Bilgi İspatları, •  Kör Transfer gibi algoritmalarla beraber.

9

Özel Durum: Hesaplamaların Tevdisi

Asimetrik şifrelemelerin tevdisi: Üs alma

𝑥

𝑦=𝑓(𝑥)

10

xy mod N RSA, ElGamal, Eliptik Eğriler,

Eşleme Tabanlı Sistemler, ...

Neden Üs Almak Gerekmektedir?

•  Şifreleme •  İmzalama •  Kimlik Doğrulama •  Anahtar Oluşturma •  Güvenli Hesaplama

11

Zor Problem #1: Çarpanlarına Ayırma Problemi

RSA Şifreleme ve İmzalama için Üs Alma

Verilen M, e ve N olduğuna göre c ≡ Me (mod N)

Kolay Asal sayı p, q N = pq

Zor

12

Üs Alma •  Diffie-Hellman Anahtar Anlaşma Protokolleri •  ECDSA •  Açık Anahtar Altyapısız Sistemler

Zor Problem #2: Ayrık Logaritma Problemi

Kolay y = gx mod p

Zor x = logg y (Z’de kolay, Zp‘de zor)

Verilen: g, x, p

Verilen: g, y, p

13

Sim Kartlar ve Güvenlik

1.  Mobil telefonlar için de facto güvenli

varsayılan kısım 2.  NFC teknolojisiyle beraber ödeme

bilgilerinin (payment credentials) saklandığı yer

3.  OTA teknolojisiyle beraber

eklenebilirlik özelliğe sahip (Custom Java Software)

4.  Güvenli Anahtar deposu olarak SIM

(Kálmán, 2007) 5.  Saldırılar...

14

Örnek Çözüm: TAISYS Bankacılık Çözümü

Kaynak:http://www.taisys.com/solution

15

Kriptografik Hesaplarin Dogrulanabilir ve Güvenli Tevdisi 1. Sunucu 2. Sunucu

1.  İki sunuculu çözüm

2.  Sunucular birbiriyle anlaşamazlar

3.  Daha verimli yöntemler

4.  İki sunucudan kaynaklanan problemler ...

Gizlilik Problemi

Maskeleme ve Girdi

Maskeleme ve Girdi

16

Kriptografik Hesaplarin Dogrulanabilir ve Güvenli Tevdisi

TEK SUNUCU

Gizlilik Maskeleme ve Girdi

KURAL: Maskeleme + Maske Kaldırma <<

Üs Alma

17

Tevdi Algoritması

1. Hesaplatmak istediğimiz değer gz değeri olsun

2. Varsayım: g değeri açık, z değeri gizli

3. c değeri ise önceden belirlenecek doğrulama

değeri olsun

18

Tevdi Algoritması

19

Modüler Üs Alma

ÜS ALMA VE MODÜLER CARPMA

20

-  Kontrolsüz güvenlik, güvenlik değildir!

-  Kripto Anahtarları sadece sende ise kontrol sendedir!

İdeal Güvenlik

21

Teşekkürler

? mehmet.kiraz@tubitak.gov.tr

osmanbey.uzunkol@tubitak.gov.tr