DOI
10.1109/ICCCT.2014.7001486
Link
https://ieeexplore.ieee.org/document/7001486?arnumber=7001486
Year of Publication
2015
Type
Conference Proceedings
Published in
2014 International Conference on Computer and Communication Technology
Publication Title
Formal Verification of Security Protocol using B Method
Status
National
First Author
Subodh Kumar
Second Author
Girish Chandra
Third Author
Divakar Yadav
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCOPUS
Publisher
IEEE
Refereed/Peer Reviewed
Refereed
Month of Publication
Jan