Infoscience

Report

Formal Analysis of Secure Neighbor Discovery (Isabelle/HOL Mechanization)

    Reference

    • EPFL-REPORT-166660

    Record created on 2011-06-07, modified on 2016-08-09

Related material