Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Browse the full SAFECOMP paper archive.