Plan prezentacji: Bezpieczeństwo systemów komputerowych.

Transkrypt

1 Bezpieczeństwo systemów komputerowych. Temat seminarium: Bezpieczny XML Autorzy: Piotr Sasak, Wojciech Śronek Plan prezentacji: - nowa technologia: XML - DTD opis struktury dokumentu XML - XML Schema zaawansowany opis dokementu XML - XMLPath - XMLLInk - XML Signature - XML Encryption - Web Services 1

2 Początek XML'a - oficjalny dokument definiujący XML: luty 1998 XML powstał z myśl ą o sieci Internet i dla sieci Internet, aczkolwiek obszary jego zastosowa ń wykraczaj ą poza t ę sieć. XML na poważnie - XML nie jest nowy, - XML jest językiem tekstowym, - XML jest rozszerzalny, - XML jest elastyczny, - XML jest międzynarodowy, - XML sam si ę opisuje - XML to rodzina języków i technologii, - XML to standard otwarty, - XML jest nielicencjonowany, - XML jest niezależny od platformy, - XML jest sformalizowany - XML jest hierarchiczny, - XML umożliwia oddzielenie treści od formy jej prezentacji - XML jest modułowy XML nie jest językiem programowania, ale sposobem tekstowego zapamiętywania informacji czy co ś jeszcze można powiedzieć o XML'u? 2

3 DTD - podstawowe deklaracje wykorzystywane w DTD: <!DOCTYPE...> określa typ dokumentu i zawiera lub wskazuje definicje typu dokumentu, <!ENTITY...> definiuje jednostki, dzięki którym można jeden raz zdefiniować pewien fragment dokumentu, a potem wielekrotnie si ę do niego odwoływać, <!NOTATION...> definiuje notacje, poprzez które można określić typy danych zewnętrznych, <!ELEMENT...> deklaruje element(opisuje zawartość elementu), <!ATTLIST...> deklaruje list ę atrybutów elementu, <![IGNORE [..]> umo liwia odpowiednio wył czenie i wł czenie do przetwarzania ż ą ą <![INCLUDE[.]> pewnych fragmentów dokumentu. 3

4 DTD - instrukcje przetwarzania(processing instruction PI) zawieraj ą informacje potrzebne dla programów przetwarzających dokument XML. Dla odróżnienia od zwykłego elemntu instrukcje przetwarzania s ą umieszczaje w bloku ograniczonym znakami <? i?> Instrukcje te zawieraj ą cel(pitarget) oraz instrukcje do wykonania. Celem jest słowo kluczowe identyfikujące aplikacj ę, dla której przeznaczona jest instrukcja do wykonania. Jeśli cel nie jest znany aplikacji przetwarzającej dokument, wtedy cała instrukcja zostanie pominięta. Np: <?php for ( $e = 0; $e < $n; $e++) { $tab[ $e ] = $e + 10; }?> Instrukcje przetwarzania umożliwiaj ą umieszczenie w dokumentach XML fragmentów innych języków, zwłaszcza języków programowania. Entity jednostki <!ENTITY XML extensible Markup Language > użycie jednostki w dokumencie XML: <opis>to jest tekst o XML czyli o &XML;.</opis> 4

5 - tworzenie DTD DTD Np: wewnętrzne DTD składa si ę z wielu deklaracji zgrupowanych w jeden blok zwany deklaracj ą typu dokumentu. Blok ten zaczyna si ę od slowa kluczowego DOCTYPE. <?xml version= 1.0 encoding= UTF-8 > <!--komentarz dokumentu XML zawieraj?cy na poczatku wewn?trzne DTD--> <!DOCTYPE opis [ <!ELEMENT opis (#PCDATA)> <!--dalsze deklaracje DTD --> ]> <!--w?a?ciwy dokument XML --> <opis> To jest opis. </opis> Powyższy przykład prezentuje dokument XML (typu opis) wraz z DTD umieszczonym na początku dokumentu. Wewnętrzne DTD musi być przetworzone przez parser XML, nie ma możliwości omininięcia wewnętrznej deklaracji typów dokumentu. Element zadeklarowany w DOCTYPE (w przykladzie to opis) to główny element dokumentu korze ń. W treści dokumentu XML element korze ń może wystąpić tylko jeden raz. 5

6 - tworzenie DTD DTD Np: zewnętrzne DTD -lepsza metoda, plik z opsem DTD znajduje si ę w zewnętrznym pliku. W dokumencie XML jest tylko odwołanie do tego pliku. Zewnętrzne DTD może być prywatne lub publiczne. <?xml version= 1.0 encoding= UTF-8 > <!--komentarz dokumentu XML zawieraj?cy na poczatku wewn?trzne DTD--> <!ELEMENT opis (#PCDATA)> <!--dalsze deklaracje DTD --> <?xml version= 1.0 encoding= UTF-8 > <!--w?a?ciwy dokument XML, odwo?anie do zewn?trznego pliku z DTD --> <!DOCTYPE opis SYSTEM opisdtd.dtd > <opis> To jest opis. </opis> Słowo kluczowe SYSTEM oznacza DTD prywatne a słowo kluczowe PUBLIC DTD publiczne. 6

7 - deklaracje elementów DTD - słowo kluczowe ELEMENT, nazwa danego elementu czyli nazwa znacznika, słowa lub grupy słów definiujących jego zawartość, Zawartość elementu moze być zadeklarowana jako: - (#PCDATA) oznacza zawartość tekstowa (dowoln ą), - EMPTY określa element pusty (pozbawiony treści), - ANY deklaruje, że element może zawierać dowolne wartości Element może być zadeklarowany tylko jeden raz. Np: <!ELEMENT kotek (#PCDATA)> <!ELEMENT kotek EMPTY> <!ELEMENT kotek ANY> <kotek>to jest kotek.</kotek> <kotek/> lub <kotek></kotek> <kotek>to jest kotek.</kotek> lub <kotek/> lub <kotek></kotek> 7

8 - deklaracje podelementów DTD - model grupy(elementowy) otoczony jest nawiasami i zawiera przynajmniej jeden symbol (token) opisujący podelement danego elementu: <!--element uczelnia sk?ada si? z dok?adnie jednego podelementu rektor--> <!ELEMENT uczelnia (rektor)> <!ELEMENT rektor (#PCDATA)> <!--przyk?ad u?ycia ww. Deklaracji w dokumencie--> <uczlenia> <rektor> Jak Kowalski </rektor> </czelnia> - sekwencja podelementów: <?xml version= 1.0?> <!DOCTYPE uczelnia [ <!ELEMENT uczelnia ( nazwa, rektor, profil)> <!ELEMENT nazwa (#PCDATA)> <!ELEMENT rektor (#PCDATA)> <!ELEMENT profil (#PCDATA)> ]> 8

9 - deklaracje podelementów - wybór podelementów: DTD <?xml version= 1.0?> <!DOCTYPE uczelnia [ <!ELEMENT uczelnia ( nazwa rektor profil)> <!ELEMENT nazwa (#PCDATA)> <!ELEMENT rektor (#PCDATA)> <!ELEMENT profil (#PCDATA)> ]> - połączenie sekwencji i wyboru podelementów: <?xml version= 1.0?> <!DOCTYPE uczelnia [ <!ELEMENT uczelnia ( nazwa, rektor, ( wydzial inna jednostka ) ) > <!ELEMENT nazwa (#PCDATA)> <!ELEMENT rektor (#PCDATA)> <!ELEMENT wydzia? (#PCDATA)> <!ELEMENT inna jednostka (#PCDATA)> ]> - wskaźniki wystąpie ń podelementów:?, *, + 9

10 DTD - deklaracje notacji: element bąd ź jednostka może zawierać dane nie będące stryktur ą XML. Aby parser nie traktował takich danych jako błędy, dane musz ą być w specyficzny sposób oznaczone. Do tego celu słu żą deklaracjenotacji. <?xml version= 1.0 standalone= no?> <!DOCTYPE obrazek [ <!ELEMENT obrazek EMPTY> <!ATTLIST obrazek zrodlo ENTITY #REQUIRED> <!-- Jednostka ogólna--> <!ENTITY logo SYSTEM Logo.jpg NDATA jpeg> <!--notacje nadaje nazwie jpeg wskazanie na program do przegl?dania plików *.jpg --> <!NOTATION jpeg SYSTEM..\jpgView.exe > ]> <!-- odwołanie w dokumencie XML--> <obrazek zrodlo= logo /> <!--odwołanie do jednostki ogólnej czyli pliku Logo.jpg przetwarzanego przez program jpgview.exe --> 10

11 DTD - sekcje warunkowe: sposób na wydzielenie fragmentów DTD, które można włączyć lub wyłączyć z przetwarzania. <![INCLUDE [...]> <![IGNORE[...]> Np <?xml version= 1.0 encoding= UTF-8?> <![INCLUDE [ <!ELEMENT imie (#PCDATA)> <!ELEMENT nazwisko (#PCDATA)> ]> <![IGNORE [ <!ELEMENT nazwa_firmy (#PCDATA)> <!ELEMENT adres (#PCDATA)> ]> 11

12 Problemy i ograniczenia DTD - brak możliwości ograniczenia tekstowej treści elementów. Jeżeli możliwa jest zawartość tekstowa to w treści elementu można umieścić wszystko. W szczególności nie można określić typu zawartości elementu, - brak wartości domyślnych dla elementów (istniej ą one tylko dla atrybutów), - słabe możliwości kontroli typów atrybutów (typ wyliczeniowy to za mało), w tym także brak możliwościzapewniania niepowtarzalności wartości atrybutów, - brak możliwości zmiany kolejności elementów, - brak możliwości ustalenia kolejności elementów, - słaba modułowość (chodzi o możliwość podziału rozbudowanego DTD na cześci ), mechanizm jednostek to często za mało, - typ ID dla atrybutów ma zbyt wiele ogranicze ń. Nie można za jego pomoc ą zapewnić niepowtarzalności w ramach tylko jednego atrybutu (dotyczy on zawsze całego dokumentu i wszystkich atrybutów o typie ID), nie można go także stosować do treści elementów, - syntaktyka DTD jest inna ni ż zwykłego XML (np elementy zaczynaj ą si ę od znaku!) 12

13 XML Schema - standard zatwierdzony 2 maja 2001, - umożliwia dokładne opisanie drzewiastej struktury dokumentu XML, - bardziej zaawansowany sposób opisu struktury umożliwiający dużo większ ą kontrol ę nad zawartości ą dokumentu, - schemat XML Schema jest zewnętrznym w stosunku do dokumentu XML i nie zawiera żadnych odnośników do opisywanego dokumentu, sprawdzenie poprawności może nastąpić jedynie dzięki odpowiednim powiązaniom, umieszczonym w dokumencie XML 13

14 XML Schema - budowa dokumentu: poniewa ż XML jest osobnym językiem potrzebna jest odpowiednia przestrze ń nazw zawierająca nazwy wykorzystywane w schematach, - ogólna struktura schematu: <?xml version= 1.0?> <!--deklaracja przestrzeni nazw oraz korze ń: schema--> <!--wszystkie nazwy elementów pochodz ą z przestrzeni nazw identyfikowanej przez <xsd:schema xmlns:xsd= > <!--wlaściwa część deklaracji schematu-->... </xsd:schema> - można te ż zastosować domyśln ą przestrze ń (bez prefiksu): <?xml version= 1.0?> <schema xmlns= > <!--wlaściwa część deklaracji schematu--> </schema> 14

15 XML Schema - budowa dokumentu: - zasadnicze składowe schematu: podstawowymi strukturami schematów s ą elementy o nazwach: element oraz atrybut. W deklaracjach tych określa si ę typ przechowywanych danych, wymagania związane z liczb ą i koniecznoś ci ą wystąpie ń. - np: <!--imie jest dowolnym ciagiem znaków --> <!-- odpowiada to deklaracji DTD, elementowi #PCDATA--> <xsd:element name= imie type= xsd:string /> użycie: <?xml version= 1.0?> <imie>karol</imie> - oprócz deklaracji elementów i atrybutów w schematach mog ą wystąpić definicje nowych typów, które s ą następnie stosowane w deklaracjach, Ogólnie schematy XML Schema składaj ą si ę z: - deklaracji XML, czyli wiersza: <?xml version= 1.0?>, - elementu głównego schema, który zawiera określenie przestrzeni nazw, - definicji typów, - deklaracji elementów i atrybutów 15

16 XML Schema - odwołania do schematów bez przestrzeni nazw: dokment XML można przypisać schematowi bez określania przestrzeni nazw damego schematu w danym dokumencie. Należy wtedy w dokumencie XML użyć atrybutu xsl: nonamespaceschemalocation, w którym podaje si ę lokalizacj ę, - np: <?xml version= 1.0?> <elementkorzen xmlns:xsi= xsi:nonamespaceschemalocation= schemat1.xsd > <!--zasadnicza tresc dokumentu XML--> </elementkorzen> 16

17 - typy proste: np: XML Schema <!--wiek jest dowolna liczb? ca?kowit?--> <xsd:element name= wiek type= xsd:integer /> Atrybut type może przybierać wartości: - typu wbudowanego, czyli zdefiniowanego bezpoś rednio przez standard XML Schema np: integer, string, - typu prostego wlasnego zdefiniowanego typu prostego przy użyciu elemntu: <xsd:simpletype>, - typu złoż onego własnego zdefiniowanego przy użyciu elementu: <xsd:complextype> np: zdefioniowanie typu prostego (liczby calkowitej z przedzialu <1;150>) <?xsd: schema xmlns:xsd= <xsd:simpletype name= mojtyp1 > <xsd:restriction base= xsd:integer > <xsd:mininclusive= 1 /> <xsd:maxinclusive= 150 /> </xsd:restriction> </xsd:simpletype > </xsd:schema> - uzycie zdefioniowanego typu w XML Schema: <xsd:element name= wiek type= mojtyp1 /> 17

18 XML Schema - typy złożone mog ą określać istnienie w elemencie podelementów (także ich liczb ę, typ i kolejność) oraz koniecznoś ć istnienia oraz typ atrybutów. Jeśli dany element zawiera zawiera atrybuty lub podelementy, zawsze musimy zastosować typ złożony. np: <xsd:element name= adres type= mojtypadres /> <xsd:complextype= mojtypadres > <xsd:sequence> <xsd:element name= ulica type= xsd:string /> <xsd:element name= nrdomu type= string /> <xsd:element name= miasto type= string /> </xsd:sequence> </xsd:complextype> - przykład użycia typu złożonego: <adres> <ulica>j.slowackiego</ulica> <nrdomu>23/4</nrdomu> <miasto>pozna?</miasto> </adres> 18

19 XML Schema - wymuszenia występowania atrybuty w znaczniku element czyli minoccurs i maxoccurs np: <xsd:element name= imie type= xsd:string minoccurs= 1 maxoccurs= 3 /> <!--element rys mo?e wyst?pi? dowoln? liczb? razy, mo?e te? nie wyst?pi?--> <xsd:element name= rys type= xsd:string minoccurs= 0 maxoccurs= unbounded /> <!--element opis mo?e wyst?pi? co najmniej raz--> <xsd:element name= opis type= xsd:string minoccurs= 1 maxoccurs= unbounded /> - występowanie atrybutu atrybut może wystąpić jeden raz albo nie występować w ogóle. Aby określić sposób występowania atrybutu w XML Schema należy użyć use np: <xsd:attribute name= wersja use= required /> <xsd:attribute name= wersja use= optional default= 1.0 /> <xsd:attribute name= wersja use= prohibited /> 19

20 XML Schema wnioski - XML schema daje więcej możliwoś ci opisu dokumentu XML ale jest te ż bardziej skomplikowany, - dokumenty XML Schema zaimuj ą dużo więcej miejsca, - możliwość definiowania nowych typów danych, - dzięki dużej elastyczno ści XML Schema można ju ż w momencie sprawdzania poprawno ści struktury dokumentu XML wychwycić niepoprawne dane, - w odróżnieniu do DTD składnia schematów XML schema jest taka, jak zwykłych dokumentów XML. 20

21 XPath - język umożliwiaj ący wskazywanie elementów, atrybutów czy całych fragmentów dokumentu XML, - wykorzystywany w innych standardach takich, jak XSLT, Xlink 21

22 XPath - budowa wyraże ń XPath: wyrażenia XPath pozwalaj ą na operacje na zawartości dokumentu XML. Do opercji tych należy przetwarzanie informacji tekstowych oraz badanie drzewiastej struktury dokumentu. - najmniejsz ą jednostk ą składaj ąc ą si ę na wyrażenie XPath jest krok (ang. step). Jest to wyrażenie reprezentujące element,atrybut lub funkcj ę, - pojedy ńczy krok jest poprawnym wyrażeniem XPath, najcz ęściej zachodzi systuacja, gdy trzeba złozyć kilka kroków i utworzyć ścieżk ę, poszczególne kroki rozdzielone sa /, - język XPath umożliwia wyszukiwanie informacji w dokumentach XML przez odzwierciedlenie struktury dokuemntu w drzewo, - do podstawowych struktur XPath nale żą intrukcje pozwalające sprawnie poruszać si ę po drzewiastym modelu dokumentu 22

23 XPath - relacje miedzy węzłami w dokuemncie XML: 23

24 XPath - dost ęp do węzłów drzewa: słowo języka XPath znaczenie child - węzły-dzieci descedant - węzły potomkowie parent - węzeł-rodzic(pusty dla węzła korzenia) ancestor - węzły przodkowie following-sibiling - kolejne węzły na tym samym poziomie preceding-sibiling - poprzednie węzły na tym samym poziomie following - wszystkie kolejne węzły (bez potomków) preceding - wszystkie poprzednie węzły (bez przodków) self - aktulany węzeł descendant-or-self - potokowie oraz aktualny węzeł ancestor-or-self - przodkowie oraz aktualny węzeł 24

25 XPath - podsumowanie - język XPath umożliwia tworzenie złożonych wyraże ń wyszukujących poszczególne węzły lub ich zbiory, jednak nie posiada mechanizmów do: - wyszukiwania łańcuchów tekstów rozciągaj ących si ę poprzez kilka elementów, - wskazywania na znaczniki: pocz ątkowy lub końcowy, - oznaczania punktów (określonych miejsc w tekście) lub zakresów (obszarów pomi ędzy dwoma puktami) rozwiązanie: język XPointer 25

26 XLink XML'owy sposób na odsyłacze. - odsyłacze hipertekstowe jeden z fundamentów popularności języka HTML, - niezwykle pomocne przy nawigowaniu po dokumencie i wyszukiwaniu interesujących fragmentów Czy można jeszcze co ś poprawić...a może wogóle zastosować inne podejście w odsyłaczach???...oczywi ście XML ma odpowied ź;) Teraz XLink!!! 26

27 XLink XML'owy sposób na odsyłacze. - na potrzeby dokumentów XML i w celu poszerzenia możliwości odsyłaczy HTML został opracowany specjalny standard języka odesła ń XLink (XML Linking Language), publikacja XLink jest osobnym standardem i nie należy do specyfikacji XML więc aby móc go użyć należy posłu żyć si ę odpowiednia przestrzeni ą nazw. Przestrze ń ta jest zwykle oznaczana prefiksem xlink a jej identyfikatow URI to pocz ątek dokumentu XML, zawierającego odsyłacze Xlink: <?xml version= 1.0?> <!--deklaracja przestrzeni nazw dla odsy?aczy XLink--> <korzen_dokumentu xmlns:xlink= >... </korzen_dokumentu> 27

28 XLink XML'owy sposób na odsyłacze. - zostały wyróżnione dwa rodzaje odsyłaczy: odsyłacze proste (ang. simple) będące jedynie roszerzon ą wersj ą odsyłaczy znanych z języka HTML; odsyłacze rozszerzone (ang. Extended), czyli wielokierunkowe, umożliwiają ce przechowywanie w jednym miejscu różnych odesła ń jednocze śnie do wielu miejsc przykład odsyłacza prostego: <?xml version= 1.0?> <korzen xmlns:xlink= > <!--odsylacz odsylacz_prosty wskazuje na zdalny plik dostepny za pomoc? protokolu http na serwerze <odsylacz_prosty> xlink:href= http;// xlink:type= simple Wi?cej informacji w tym pliku. </odsylacz_prosty> </korzen> 28

29 XLink XML'owy sposób na odsyłacze. - odsyłacze rozszerzone mog ą łączyć wiele miejsc jednocze śnie, s ą złożonymi strukturami i mog ą zawierać: - wskaźnik (lacator-type element), odsyłaj ący do zewnętrzych zasobów, - zasów (resource-type element), opisujący lokalne zasoby, - łuk (arc-type element), określający reguły przechodzenia między zasobami, - tytuł (title-type element), za jego pomoc ą można nadawać zrozumiałe dla człowiekka nazwy, - wyszczególnione elementy mog ą występować samodzielnie(nie jako podelementy odsyłacza rozszerzonego), przykład wykorzystania elementu wskaź nik ( typ locator) który wkazuje na źródło informacji zwykle jest to dokument XML, chocia ż nie koniecznie <wydzial xlink:type= locator > xlink:label= wydzial_mech xlink:href= /?> przykład wykorzystania samego elementu zasób ( typ resource) <przedmiot xlink:type= resource > xlink:label= Systemy Wiarygodne <imie>micha?</imie> <nazwisko>szychowiak</nazwisko><tytul>dr inz.</tytul> </przedmiot> 29

30 XLink XML'owy sposób na odsyłacze. - łuki i reguły przechodzenia; najstotniejszymi atrybutami łuku s ą from i to, za ich pomoc ą tworzony jest łuk (połączenie) z zasobu wskazywaneg przez from (zasób startowy) do zasobu wskazywanego przez to (zasób docelowy). Wartościom tych atrybutów musz ą odpowiadać takie same wartości atrybutu label w odpowiednich, łącz ących przez łuk zasobach. <przedmiot xlink:type= locator > xlink:label= ti xlink:title= Teoria informacji xlink:href= /> <wydzial xlink:type= locator > xlink:label= wiiz xlink:title= Wydzia? Informatyki i Zarz?dzania xlink:href= wiiz.xml /> <kurs xlink:type= arc xlink:title= Teoria informacji na Wydz. Informatyki i Zarz?dzania xlink:from= ti xlink:to= wiiz /> 30

31 XLink XML'owy sposób na odsyłacze. - odsyłacze rozszerzone; poprzednio zaprezentowane elementy można połaczyć ze sob ą i utworzyć odsyłacz rozszerzony. Za pomoc ą tych adsyłaczy można tworzyć wielokierunkowe odesłania do wielu zasobów, gdy ż w jednym odsyłaczu rozszerzonym może wystąpić wiele elementów typu zasób, wskaźnik i łuk przykład: <?xml version="1.0"?> <katalog_odsylaczy xmlns:xlink=" xlink:type="extended"> <nazwa_katalogu xlink:type="title"> Katalog kursów dla Politechniki Wroc?awskiej </nazwa_katalogu> <przedmiot xlink:type="locator" xlink:label="ti" xlink:title="teoria informacji" xlink:href="ti.xml#opis"/> <prowadzacy> <imie>czes?aw</imie> <nazwisko>dani?owicz</nazwisko> </prowadzacy> <godzina tydzien="parzysty">wtorek </godzina> <sala>budynek A-1, sala 203b</sala> </przedmiot> 31

32 XLink XML'owy sposób na odsyłacze. Ciąg dalszy przykładu: <wydzial xlink:type="locator" xlink:label="wydz_iz" xlink:title="wydzia? Informatyki i ZarzÄdzania" xlink:href="wiz.xml"/> <wydzial xlink:type="locator" xlink:label="wydz_mech" xlink:title="wydzia? Mechaniczny" xlink:href="wm.xml"/> <kurs xlink:type="arc" xlink:from="ti" xlink:to="wydz_iz" xlink:arcrole=" xlink:title="kurs podstawowy"/> <kurs xlink:type="arc" xlink:from="ti" xlink:to="wydz_mech" xlink:arcrole=" xlink:title="kurs dodatkowy"/> <kurs xlink:type="arc" xlink:from="algebra" xlink:to="wydz_iz" xlink:arcrole=" xlink:title="kurs podstawowy"/> <kurs xlink:type="arc" xlink:from="algebra" xlink:to="wydz_mech" xlink:arcrole=" xlink:title="kurs podstawowy"/></katalog_odsylaczy > 32

33 XLink XML'owy sposób na odsyłacze. Ciąg dalszy przykładu: 33

34 XLink XML'owy sposób na odsyłacze. - hipotytyczna prezentacja łuków: 34

35 XLink XML'owy sposób na odsyłacze. - Xlink to nowe spojrzenie na odsyłacze (osobny element języka), - bazy odsyłaczy daj ą możliwości łatwego zarządzania linkami, - łatwość katalogowania odsyłaczy, - czy istnieje jaka ś wada...(dos :) 35

36 Podsumowanie: XML to bardzo obiecująca technologia!!! 36

37 Bezpieczeństwo XML I. Kontrola poprawności dokumentów II. Integralność, niezaprzeczalność ( XML Signature ) III. Prywatność, poufność ( XML Encryption ) IV. Web Services 37

38 DTD ( Document Type Definition ) <!DOCTYPE catalog [ <!ELEMENT Katalog (Produkt*)> <!ELEMENT Produkt (NrProduktu*, NazwaProduktu*, CenaSklepowa*)> <!ELEMENT NrProduktu (#PCDATA)> <!ELEMENT NazwaProduktu (#PCDATA)> <!ELEMENT CenaSklepowa (#PCDATA)> ]> <!ENTITY BrakTowaru Towar nie jest dostępny w magazynie. > - struktura nie XMLowa, - zewnętrzne DTD mogą nie być odpowiednio chronione, - brak definicji typów i rozmiaru zawartości elementów, - nie zapewnia odpowiedniego poziomu integralności dokumentu XML, - wartości ENTITY i NOTATION nie podlegające analizie składni DTD: XML: <!ENTITY Sciezka_1 Bardzo_dziwny_łańcuch > <!ENTITY Sciezka_2 Bardzo_długi_łańcuch > <znacznik sciezka= &Sciezka_1; /> 38

39 XSD ( XML Schema Declaration) <xsd:schema id="catalog" xmlns="catalog.xsd" xmlns:xsd=" <xsd:element name="katalog"> <xsd:complextype> <xsd:choice maxoccurs="unbounded"> <xsd:element name="produkt"> <xsd:complextype> <xsd:sequence> <xsd:element name="nrproduktu" type="xsd:string" minoccurs="0" /> <xsd:element name="nazwaproduktu" type="xsd:string" minoccurs="0" /> <xsd:element name="cenasklepowa" type="xsd:decimal" minoccurs="0" /> </xsd:sequence> </xsd:complextype> </xsd:element> </xsd:choice> </xsd:complextype> </xsd:element> </xsd:schema> - typy danych, zakresy wartości, rozmiary wartości, wzorce,... <xsd:simpletype name="date"> <xsd:restriction base="xsd:token"> <xsd:pattern value="[0-1][0-9]/[0-3][0-9]/[0-9]{2}" /> </xsd:restriction> </xsd:simpletype> - ma strukturę XMLową - kilkustopniowa kontrola poprawności - zapewnia większy poziom integralności dokumentu XML - problem: zewnętrzne schematy 39

40 Kodowanie Serwer MS IIS podatny na żądanie dostępu do bezpiecznych plików łańcuch_1: /../../ łańcuch_2 ( Unicode ): %c0%af../..%c0%af - problem: różne standary kodowania, - ASCII ( ISO ,... ), - Unicode ( UTF-8, UTF-16,... ) - dla przykładu: znak '/' %c0%af, %c1%pc, %c0%9v, %c0%qf, %c1%8s, %c1%1c, %e0%80%af, %f0%80%80%af, %f8%80%80%80%af, %fc%80%80%80%80%af - znaki sterujące ( ASCII od 0 31 ) - A - litera A, 2 - cyfra 2 - &#24; - anuluj wiersz - znak końca tekstu, sterowanie przepływem, rozkazy dla drukowania, urządzeń komunikacyjnych 40

41 Analiza szkodliwych znaków - analiza reprezentacji znaku transformując go do różnych postaci znakowych w różnych standardach kodowania i weryfikowanie ich pod kątem szkodliwości - przed analizą dokumentu sprowadzenie tekstu do jednego standaru kodowania ( np: Python unicode( 'łańcuch', UTF-8 ) ) 41

42 1. Analiza szkodliwych znaków, łańcuchów 2. Kontrola poprawności dokumentów Reasumując... DTD ( Document Type Definition) - brak możliwości weryfikacji DTD - bardzo małe możliwości w określaniu typów, rozmiarów,... - zewnętrzny DTD nie jest bezpieczny XSD ( XML Schema Declaration ) - weryfikacja poprawności schematu, - znacznie większe możliwości w określaniu typów, rozmiarów, zakresów,... - zewnętrzny XSD nie jest bezpieczny Wydajność ( tysiąc odwołań na minutę ) - weryfikacja danych bezpośrednio w aplikacji Narzędzia - XML Spy 4.3 środowisko programowe do weryfikacji XML'a na podstawie DTD i schematów ( ) - Oprogramowanie firmy Sun. Dokonuje poprawności względem schematów i DTD ( ) - W3C Validator for XML Schema Analiza poprawności dokumentu XML Analiza poprawności dokumentu XML

43 XML Signature, podpis cyfrowy 43

44 XML Signature, postać kanoniczna - różne składnie XML, to samo znaczenie <img src="dwlogo.gif" width="225" height="30"/> <img src= dwlogo.gif" height="30" width="225"/> - różne składnie XML a to samo znaczenie, różne skróty wiadomości - konieczność sprowadzenia do postaci neutralnej składniowo Canonical XML Version 1.0 ( ) - dokument kodowany w UTF-8, - domyślne atrybuty dodane do każdego elementu, - odwołania do ENTITY z DTD są zastępowane ich wartościami, - deklaracje dokumentu XML i DTD są usuwane, - leksykograficzny porządek deklaracji przestrzeni nazw, atrybutów, - zbędne deklaracje przestrzeni nazw są usuwane, - usuwanie zbędnych białych znaków z elementów, - puste elementy konwertowane do elementów start-end, - wartości atrybutów umieszczane są w kurzych łapkach 44

45 XML Signature, postać kanoniczna <?xml version="1.0" encoding="iso "?> <!DOCTYPE doc [<!ATTLIST e10 attr CDATA "default"> <!ENTITY ent1 "Hello">]> <doc> <e1 /> <e2 >&ent1;</e2> <e3 name = "elem3" id="elem3" /> <e4 name="elem4" id="elem4" ></e4> <e5> </e5> <e6 a:attr="out" b:attr="sorted" attr2="all" attr="i'm" xmlns:b=" xmlns:a=" xmlns=" <e7 xmlns="" xmlns:a=" <e8 xmlns=" <e9 xmlns="" xmlns:a=" <e10 xmlns="" xmlns:a=" </e9> </e8> </e7> <!-- Comment --> </doc> <doc> <e1></e1> <e2>hello</e2> <e3 id="elem3" name="elem3"></e3> <e4 id="elem4" name="elem4"></e4> <e5>#xc2#xa9</e5> <e6 xmlns=" xmlns:a=" xmlns:b=" attr="i'm" attr2="all" b:attr="sorted" a:attr="out"></e5> <e7 xmlns:a=" <e8 xmlns=" <e9 xmlns=""> <e10 xmlns:a=" attr="default"></e9> </e9> </e8> </e7> <!-- Comment --> </doc> 45

46 XML Signature, struktura XML podpisu cyfrowego <Signature ID?> <SignedInfo> <CanonicalizationMethod/> <SignatureMethod/>) (<Reference URI?> (<Transforms>)? <DigestMethod> <DigestValue> </Reference>)+ </SignedInfo> <SignatureValue> (<KeyInfo>)? (Object ID?)* </Signature> - transformacja dokumentu ( transformacje XPath i XSLT, kodowanie, dekodowanie, kompresja, dekompresja ), <Transforms> <Transform Algorithm=" </Transforms> - sprowadzanie danych do postaci kanonicznej, <CanonicalizationMethod Algorithm=" /> - obliczenie funkcji skrótu <DigestMethod Algorithm=" - podpisanie dokumentu <SignatureMethod Algorithm=" /> 46

47 XML Signature, formy podpisu cyfrowego - Forma otoczona podpis znajduje się wewnątrz dokumentu <Envelope> <Signature>... </Signature> <Data>The information that we want to sign goes here...</data> </Envelope> - Forma otaczająca dokument znajduje się wewnątrz podpisu <Signature>... <Reference URI="#object">... <Object Id= object > <Data>The information that we want to sign goes here...</data> </Object> </Signature> - Forma odłączona podpis odnosi się do dokumentu wskazanego przez URI <Signature>... <Reference URI="file:///home/voytek/xml/weather.xml">... </Signature> 47

48 XML Signature, inne formy podpisu cyfrowego - Połączenie form <Signature>... <Reference URI="file:///home/voytek/xml/weather.xml">... </Reference> <Reference Type=" URI= #myxml >... </Reference>... <Object Id= myxml > <Data>The information that we want to sign goes here...</data> </Object> </Signature> - Podpisywanie części dokumentu <Signature>... <Reference URI="file:///home/voytek/xml/weather.xml#Poznan">... </Reference>... </Signature> 48

49 XML Signature, inne formy podpisu cyfrowego - Podpisywanie części dokumentu ( przekształcenie XPath ) <Signature>... <Reference URI="file:///home/voytek/xml/weather.xml"> <Transforms> <Transform Algorithm=" <XPath> //weather[@id="poznan"] </XPath> </Transform> </Transforms> </Reference> </Signature> 49

50 XML Signature, inne formy podpisu cyfrowego - Podpisywanie części dokumentu ( przekształcenie XSLT ) <Signature>... <Reference URI="file:///home/voytek/xml/weather.xml"> <Transforms><Transform Algorithm=" <xsl:stylesheet xmlns:xsl=" version="1.0"> <xsl:output encoding="utf-8" method="xml"/>... <xsl:template match="location"> <xsl:apply-templates/></xsl:template> <xsl:template match="time wind visibility sky note dewpt press temperature humidity"> </xsl:template> </xsl:stylesheet> </Transform></Transforms> </Reference> </Signature> 50

51 - manfiest XML Signature, inne formy podpisu cyfrowego <Signature xmlns=" Id="Signer1"> <SignedInfo>... <Reference URI="#WeatherReport" Type=" <DigestValue>...</DigestValue> </Reference> <SignedInfo> <Object> <Manifest Id="WeatherReport"> <Reference URI=""file:///home/voytek/xml/weather.xml#Poznan">... <DigestValue>...</DigestValue> </Reference> <Reference URI=""file:///home/voytek/xml/weather.xml#Gdansk">... <DigestValue>...</DigestValue> </Reference> </Manifest> </Object> </Signature> <Signature xmlns=" Id="Signer2"> <SignedInfo>... <Reference URI="#WeatherReport" Type=" <DigestValue>...</DigestValue> </Reference> <SignedInfo> </Signature> - podpisujemy skrót manifestu ( skrót skrótów ) - wiele podpisów dla jednego manifestu 51

52 XML Signature, certyfikaty - certyfikat X.509 <KeyInfo> <X509Data /> </KeyInfo> <KeyInfo> <X509Data> <X509Certificate> MIICmjCCAkSgAwIBAgIBBzANBgkqhkiG9w0BAQQFADCBvTELMAkGA1UEBhMCVVMxEzARBgNVBAgTCkNhbGlmb3JuaW ExETAPBgNVBAcTCE1vbnRlcmV5MSAwHgYDVQQKExdUYXlnZXRhIFNjaWVudGlmaWMgSW5jLjEoMCYGA1UECxMfQ2Vy dglmawnhdglvbibtzxj2awnlcybeaxzpc2lvbjezmbcga1ueaxmqdmvnys50yxlnzxrhlmnvbtefmb0gcsqgsib3dqej ARYQc2tpcEB0YXlnZXRhLmNvbTAeFw0wMjA2MDYwODIzMzJaFw0wMzA2MDYwODIzMzJaMDoxFzAVBgNVBAMTDkV2Z XJldHQgQ2FydGVyMR8wHQYJKoZIhvcNAQkBFhBza2lwQHRheWdldGEuY29tMIGfMA0GCSqGSIb3DQEBAQUAA4GNADC BiQKBgQCw3RzQ6Rtkqn1qmyCwmQpC+q37u5cYd6qET8d4PkTB9w/7GWqgcQdtNGcoym/0RNN8m7c3W5rmzUlHS8Pkii itovq+oxgoiyhkt/klzblkslhf957b+20ec9wlcgggom2u2optimolv/rw22lo/m5g8k54sfjnf28a0wjerdad0qidaq ABo20wazAbBgNVHREEFDASgRBza2lwQHRheWdldGEuY29tMAwGA1UdEwEB/wQCMAAwHwYDVR0jBBgwFoAU/g8Leo1 SC4i5XE3LdvnCR+jCzTgwHQYDVR0lBBYwFAYIKwYBBQUHAwIGCCsGAQUFBwMEMA0GCSqGSIb3DQEBBAUAA0EAGKz EY81y3mA61q6Od7NkovXdXMO9PSX+eQPQiYvk7Fzffo1620WJTds2TRkkromSIfoLxVH49c8T0Efpg0HvDA== </X509Certificate> </X509Data> </KeyInfo> 52