@techreport{techRepNavPaths,
author = "Marianne Busch and Mart{\'i}n Ochoa and Roman Schwienbacher",
institution = "Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen",
month = "June",
note = "PARTNERS: LMU and SIEMENS;
PROJECTS: NESSoS;
NoTier
cites:3",
number = "1301",
title = "{M}odeling, {E}nforcing and {T}esting {S}ecure {N}avigation {P}aths for {W}eb {A}pplications",
url = "http://uwe.pst.ifi.lmu.de/publications/TechReport1301.pdf",
year = "2013",
}