2016-10

CPDY: Extending the Dolev-Yao Attacker with Physical-Layer Interactions

Tags

Proceedings of the International Conference on Formal Engineering Methods (ICFEM)

Date published

2016-10

Date last modified

2019-01-11 13:42:12

Authors

Download