Detail publikace

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

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. p. 1-33.
Název česky
Řetězcová omezení s konkatenací a převodníky řešena efektivně (technická zpráva)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Janků Petr, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Lin Anthony (FIT)
Rummer Philipp
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
BibTeX 
@techreport{BUT176375,
  author="Lukáš {Holík} and Petr {Janků} and Tomáš {Vojnar} and Anthony {Lin} and Philipp {Rummer}",
  title="String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)",
  year="2020",
  publisher="Springer International Publishing",
  address="New York",
  pages="1--33",
  url="https://arxiv.org/abs/2010.15975"
}
Nahoru