On Formal and Automatic Security Verification of WSN Transport Protocols

Provided by: International Association for Cryptologic Research
Topic: Security
Format: PDF
In this paper, the authors address the problem of formal and automated security verification of WSN transport protocols that may perform cryptographic operations. The verification of this class of protocols is difficult because they typically consist of complex behavioral characteristics, such as real-time, probabilistic, and cryptographic operations. To solve this problem, they propose a probabilistic timed calculus for cryptographic protocols, and demonstrate how to use this formal language for proving security or vulnerability of protocols.

Find By Topic