2012-139

Topic Replies Views Activity
[Resource Topic] 2012/139: Formal verication of secure ad-hoc network routing protocols using deductive model-checking
Cryptographic protocols
2012-139
0 49 July 30, 2022