Bezpieczeństwo aplikacji w systemie Tizen

SRPOL Security © 2014 SAMSUNG Electronics Co.

Bezpieczeństwo aplikacji w systemie Tizen

Tomasz ŚwierczekSamsung R&D Institute Poland

SRPOL Security © 2014 SAMSUNG Electronics Co.2/

Tizen – czym jest?


Tizen – nad czym pracujemy?

• Webkit• W3C• ...

• Bootloadery• uboot• ...

• Rozwijamy jądro Linuksa• Smack• IMA/EVM• Linux Containers• Sterowniki• ...

• ...wiele innych projektów• systemd• KDBus• libima• libsmack• conman

• ...


Bezpieczeństwo aplikacji w systemie Tizen

• 3 przykłady problemów w projektowaniu systemu

• 3 rozwiązania Open Source


Bezpieczeństwo aplikacji

Aplikacja #1 Dane RW



/dev/camera

RW




RW

Aplikacja #2

RW


/dev/camera



RW

Aplikacja #2

RW


RW

/dev/camera


Problemy do rozwiązania

• (1) Ochrona zasobów systemowych przed aplikacjami • (2) Ochrona aplikacji i ich zasobów przed innymi aplikacjami

• (3) Ochrona aplikacji przed nimi samymi


Rozwiązanie (1) – aplikacje i zasoby systemowe

• (Niektore) aplikacje (czasami) mogą mieć dostęp do (pewnych) zasobów

Aplikacja #1 RW?

/dev/camera


Rozwiązanie (1) – aplikacje i zasoby systemowe• (Niektore) aplikacje (czasami) mogą mieć dostęp do (pewnych) zasobów

• Uprzywilejowany serwis zarządza dostępem do zasobu

Aplikacja #1 RW?

/dev/camera

RWSerwis(demon

)


Rozwiązanie (1) – aplikacje i zasoby systemowe• (Niektore) aplikacje (czasami) mogą mieć dostęp do (pewnych) zasobów

• Uprzywilejowany serwis zarządza dostępem do zasobu• Osobny uprzywilejowany proces zna uprawnienia aplikacji

Aplikacja #1 RW?

/dev/camera

RWSerwis(demon

)

Serwis uprawnieńaplikacji

?



• Serwis obsługuje zasób systemowy• musi umieć zidentyfikować klienta (np.

getsockopt(...,SO_PEERSEC,...)• Serwis uprawnień aplikacji

• zna wszystkie aplikacje i ich uprawnienia• potrafi odpowiedzieć na pytanie „czy A ma dostęp do B”?






• PolKit• gotowe rozwiązanie• użyty np. w Ubuntu






• PolKit• gotowe rozwiązanie• użyty np. w Ubuntu• IPC : DBUS• skomplikowana polityka, reguły w JS• ***WOLNY***



• Autorskie rozwiążanie – projekt Cynara• po angielsku Artichoke• po polsku Karczoch

• Serwis uprawnień aplikacji• oparty o prostą bazę danych polityki sqlite3• IPC: Unix Domain Socket• https://wiki.tizen.org/wiki/Security:Cynara• wkrótce na github’ie...

Amaizing things will happen here soon. You just wait.Dr. Bertruger, Doom 3

https://wiki.tizen.org/wiki/Security:Cynara


Rozwiązanie (2) – aplikacje i ich dane

• Dane, process i przestrzeń adresowa aplikacji są przeznaczone tylko dla niej

Aplikacja #2


Dane RW



• Android – UID per aplikacja• multiuser?



• Android – UID per aplikacja• multiuser?

• Tizen – Smack• Simplified Mandatory Access Control in Kernel• rodzaj LSM• etykiety per proces, plik, socket, ...• każdy dostęp musi być zezwolony wprost

• poza standardowymi etykietami _*^?@• na dysku: xattr• autor: Casey Schaufler (http://schaufler-ca.com)

http://schaufler-ca.com/



• Smack – jak działa?Ac

cess Exec

Jabłko Truskawka



• Smack – jak działa?Ac

cess Exec

exec()Truskawka

Jabłko Truskawka



• Smack – jak działa?

Acce

ssAcce

ss Exec

exec()Truskawka

Jabłko TruskawkaKiwi




Acce

ssAcce

ss Exec

exec()Truskawka

Jabłko Truskawka

open(..., O_RDWR)

Kiwi




Kiwi

Acce

ssAcce

ss Exec

exec()Truskawka

Jabłko Truskawka

open(..., O_RDWR)

Truskawka Kiwi RW

Podgląd reguł:cat /smack/load2




Truskawka

Acce

ssAcce

ss Exec

exec()Truskawka

Jabłko Truskawka

open(..., O_CREAT)



• Tizen – Smack• separacja zasobów i aplikacji etykietami• https://wiki.tizen.org/wiki/Security:SmackThreeDomainModel

A

Usługi

System

A A

https://wiki.tizen.org/wiki/Security:SmackThreeDomainModel


Rozwiązanie (3) – ochrona integralności plików

Aplikacja #1

• Czy uruchomiona aplikacja na pewno jest tą za którą się podaje?• Czy otwierany plik nie został podmieniony?


Rozwiązanie (3) – ochrona integralności plików

Aplikacja #1

• Z pomocą przychodzi Linux – IMA/EVM• Integrity Measurement Architecture• Extended Verification Module• System podpisów i hashy plików• przechowywanie: xattr• Autor: Dimitry Kasatkin (http://linux-ima.sourceforge.net)

http://linux-ima.sourceforge.net/

http://linux-ima.sourceforge.net/



• IMA/EVM – jak działa?

exec()open()




exec()open()

1. Policz hash z zawartości

2. Odczytaj podpis z xattr

3. Zweryfikuj podpis cyfrowy zawartości pliku

ŹLE OK




exec()open()

1. Policz hash z zawartości

2. Odczytaj podpis z xattr

3. Zweryfikuj podpis cyfrowy zawartości pliku

ŹLE OK

Klucz publiczny do weryfikacji

Klucz prywatny poza urządzeniem


Podsumowanie rozwiązań

• (1) Ochrona zasobów systemowych przed aplikacjami

Wprowadzenie serwisów + Cynara/PolKit • (2) Ochrona aplikacji i ich zasobów przed innymi aplikacjami

Smack

• (3) Ochrona aplikacji przed nimi samymiIMA/EVM


Pytania

Bezpieczeństwo aplikacji w systemie Tizen

Documents

Transcript of Bezpieczeństwo aplikacji w systemie Tizen