Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method.

Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata

Browse the full ISoLA paper archive.