![](/img/cover-not-exists.png)
[IEEE 2013 Nirma University International Conference on Engineering (NUiCONE) - Ahmedabad, India (2013.11.28-2013.11.30)] 2013 Nirma University International Conference on Engineering (NUiCONE) - Verification of secure gateway selection protocol using PI-calculus
Rai, Abhay Kumar, Tewari, Rajiv RanjanYear:
2013
Language:
english
DOI:
10.1109/nuicone.2013.6780080
File:
PDF, 512 KB
english, 2013