PURITY: A Planning-based secURITY Testing Tool.

Josip Bozic, Franz Wotawa

Browse the full QRS paper archive.