Detail publikace

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)

HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp a VOJNAR Tomáš. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. Dostupné z: https://arxiv.org/abs/2010.15975
Název česky
Řetězcová omezení s konkatenací a převodníky řešena efektivně (technická zpráva)
Typ
technická zpráva
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Lin Anthony W. (UOx)
Rummer Philipp (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova

analýza řetězců, XSS, omezení řetězců

Abstrakt

Tento článek přichází s efektivní rozhodovací procedurou pro analýzu řetězcových programů založenou na alternujících automatech. Tato analýza má řadu aplikací včetně automatické detekce skriptování mezi stránkami. Populární technika řetězcové analýzy zahrnuje symbolické provedení, jejíž jádro využívá řetězcové řešitele. Takoví řešitelé typicky rozhodují omezení vyjádřené v teoriích nad řetězci s operátorem spojení jako atomickým omezením. V nedávných letech vědci si začali uvědomovat důležitost začlenění operátoru 'nahraď vše' a konečných převodů v teoriích řetězců se spojením. Takové operace nad řetězci jsou typicky rozhodující pro úvahy o zranitelnosti vzhledem k skriptování mezi stránkami ve webových aplikacích.
V tomto článku, poskytujeme prvního řetězcového řešitele, který rozhoduje omezení zahrnující spojení a konečné převody. Navíc garantuje úplnost a konečnost pro několik důležitých fragmentů. 

Rok
2020
Strany
1-33
Vydavatel
Springer International Publishing
Místo
New York, US
BibTeX 
@TECHREPORT{FITPUB12677,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Petr Jank\r{u} and W. Anthony Lin and Philipp Rummer and Tom\'{a}\v{s} Vojnar",
   title = "String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)",
   pages = "1--33",
   year = 2020,
   location = "New York, US",
   publisher = "Springer International Publishing",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12677"
}
Nahoru