![](/img/cover-not-exists.png)
[IEEE 2015 Third International Workshop on RFID And Adaptive Wireless Sensor Networks (RAWSN) - Agadir, Morocco (2015.5.13-2015.5.15)] 2015 Third International Workshop on RFID And Adaptive Wireless Sensor Networks (RAWSN) - Formal verification of the Lowe modified BAN concrete Andrew Secure RPC protocol
Filali, Rajaa, Bouhdadi, MohamedYear:
2015
Language:
english
DOI:
10.1109/RAWSN.2015.7173272
File:
PDF, 290 KB
english, 2015