{"id":24212,"date":"2024-09-24T15:18:16","date_gmt":"2024-09-24T13:18:16","guid":{"rendered":"https:\/\/www.itspy.cz\/thesis\/prevodniky-v-automatove-knihovne-mata\/"},"modified":"2024-09-24T15:18:16","modified_gmt":"2024-09-24T13:18:16","slug":"prevodniky-v-automatove-knihovne-mata","status":"publish","type":"thesis","link":"https:\/\/www.itspy.cz\/sk\/thesis\/prevodniky-v-automatove-knihovne-mata\/","title":{"rendered":"P\u0159evodn\u00edky v automatov\u00e9 knihovn\u011b Mata"},"content":{"rendered":"<p>T\u00e9matem m\u00e9 pr\u00e1ce byl n\u00e1vrh a implementace kone\u010dn\u00fdch<br \/>\np\u0159evodn\u00edk\u016f do automatov\u00e9 knihovny Mata. Kone\u010dn\u00e9 p\u0159evodn\u00edky<br \/>\njsou automatov\u00e9 modely, kter\u00e9 lze vyu\u017e\u00edt pro modelov\u00e1n\u00ed<br \/>\noperac\u00ed jako nahrazen\u00ed jedn\u00e9 nebo v\u00edce \u010d\u00e1st\u00ed textu za<br \/>\njinou. Modelov\u00e1n\u00ed t\u011bchto operac\u00ed je d\u016fle\u017eit\u00e9 pro, mimo<br \/>\njin\u00e9, verifikaci bezpe\u010dnosti webov\u00fdch aplikac\u00ed, chr\u00e1n\u00edc\u00ed<br \/>\nnap\u0159\u00edklad p\u0159ed \u00fatoky jako cross-site scripting (XSS) nebo<br \/>\nSQL injection. Konkr\u00e9tn\u011b, kdy\u017e u\u017eivatel zad\u00e1 textov\u00fd vstup<br \/>\ndo textov\u00e9ho pole ve webov\u00e9 aplikaci, SMT n\u00e1stroj pro<br \/>\n\u0159e\u0161en\u00ed omezen\u00ed nad textem vyu\u017e\u00edvaj\u00edc\u00edch kone\u010dn\u00fdch<br \/>\np\u0159evodn\u00edk\u016f m\u016f\u017ee rozhodnout, jestli takov\u00fd vstup m\u016fze<br \/>\nobsahovat \u0161kodliv\u00fd k\u00f3d s c\u00edlem po\u0161kodit nebo ukr\u00e1st data<br \/>\nwebov\u00e9 aplikace. C\u00edlem pr\u00e1ce je navrhout kone\u010dn\u00e9 p\u0159evodn\u00edky<br \/>\ntak, aby zachov\u00e1valy hlavn\u00ed my\u0161lenky knihovny Mata:<br \/>\njednoduchost a rychlost. Vhodn\u00fd n\u00e1vrh a implementace<br \/>\nzajist\u00ed, \u017ee pomoc\u00ed kone\u010dn\u00fdch p\u0159evodn\u00edk\u016f bude SMT n\u00e1stroj<br \/>\npro \u0159e\u0161en\u00ed textov\u00fdch omezen\u00ed schopn\u00fd rychle a p\u0159esn\u011b<br \/>\nur\u010dovat, jestli je dan\u00e1 webov\u00e1 aplikace ohroziteln\u00e1 t\u011bmito<br \/>\n\u00fatoky, nebo ne.<\/p>\n","protected":false},"featured_media":23599,"template":"","meta":{"_acf_changed":false,"_links_to":"","_links_to_target":""},"university":[190,188],"thesis-year":[391,407],"class_list":["post-24212","thesis","type-thesis","status-publish","has-post-thumbnail","hentry","thesis-year-391","thesis-year-2024-sk"],"acf":{"autor":"David Chocholat\u00fd","portret":"","vedouci":"doc. Mgr. Luk\u00e1\u0161 Hol\u00edk, Ph.D."},"_links":{"self":[{"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/thesis\/24212","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/thesis"}],"about":[{"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/types\/thesis"}],"version-history":[{"count":0,"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/thesis\/24212\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/media\/23599"}],"wp:attachment":[{"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/media?parent=24212"}],"wp:term":[{"taxonomy":"university","embeddable":true,"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/university?post=24212"},{"taxonomy":"thesis-year","embeddable":true,"href":"https:\/\/www.itspy.cz\/sk\/wp-json\/wp\/v2\/thesis-year?post=24212"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}