MoScan: a model-based vulnerability scanner for web single sign-on services.

Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov

Browse the full ISSTA paper archive.