Using transition systems to model and verify the implementation of security protocol.

Yulong Fu, Ousmane Kon

Browse the full SIN paper archive.