![](/img/cover-not-exists.png)
[IEEE 2014 International Conference on Computer and Communication Technology (ICCCT) - Allahabad, India (2014.9.26-2014.9.28)] 2014 International Conference on Computer and Communication Technology (ICCCT) - Formal verification of security protocol with B method
Kumar, Subodh, Chandra, Girish, Yadav, DivakarYear:
2014
Language:
english
DOI:
10.1109/iccct.2014.7001486
File:
PDF, 300 KB
english, 2014