Formal Specification and Verification of Protection in Transit (PIT) Protocol Using UPPAAL.

Takwa Rhaimi, Hamed Aghayarzadeh, Rakesh Podder, Indrakshi Ray

Browse the full PST paper archive.