DOI
10.1109/iCATccT44854.2018.9001950
Link
https://ieeexplore.ieee.org/document/9001950
Year of Publication
2020
Type
Conference Proceedings
Published in
2018 4th International Conference on Applied and Theoretical Computing and Communication Technology iCATccT
Publication Title
A Study of Process Calculus for Formal Verification and Analysis of Security Protocol
Status
International
First Author
Manish Gaur and Annie Irfan and S P Tripathi
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCOPUS
Publisher
IEEE
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Feb