Specifikace "Web Services Security" – Mgr. Jan Urban
Mgr. Jan Urban
Master's thesis
Specifikace "Web Services Security"
"Web Services Security" Specification
Anotácia:
Tato práce poskytuje souhrnný přehled specifikací WS-Security. Zaměřuje se především na základní dokument SOAP Message Security a W3C standardy XML Signature a XML Encryption. Druhá část je věnována verifikačnímu nástroji TulaFale, její součástí jsou ukázkové skripty a stručné hodnocení.Abstract:
This work provides a review of WS-Security specification. It focuses mainly on elementary document SOAP Message Security and W3C standards XML Signature and XML Encryption. Second part is dedicated to verification tool TulaFale. It provides example skripts and briefly evaluates this tool.
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 10. 2. 2006
Identifikátor:
https://is.muni.cz/th/rjf1a/
Obhajoba závěrečné práce
- Obhajoba proběhla 10. 2. 2006
- Vedúci: prof. RNDr. Václav Matyáš, M.Sc.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných
Peter Kovalič -
Modelování stateflow diagramů pro účely verifikace
Pavla Kratochvílová -
Verifikace bezpečnostně kritických a bezpečnostních systémů kontroly a řízení metodou model checking a strukturálním testováním
Tomáš AUSBERGER -
Digitální podpis ve webovém prohlížeči
Jiří Harazim