Mgr. Jan Urban
Master's thesis
Specifikace "Web Services Security"
"Web Services Security" Specification
Abstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 10. 2. 2006
Identifier:
https://is.muni.cz/th/rjf1a/
Thesis defence
- Date of defence: 10. 2. 2006
- Supervisor: prof. RNDr. Václav Matyáš, M.Sc.
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Informatics
Theses on a related topic
-
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