A Security Calculus of Concurrent Objects for Verifying Ad Hoc Network Protocols.

Qin Li, Qingkai Zeng

Browse the full NSS paper archive.