Model Checking of Security Protocols with Pre-configuration.

Kyoil Kim, Jacob A. Abraham, Jayanta Bhadra

Browse the full WISA paper archive.