{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T01:18:48Z","timestamp":1751937528473},"reference-count":19,"publisher":"Engineering and Technology Publishing","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["jcm"],"published-print":{"date-parts":[[2018]]},"DOI":"10.12720\/jcm.13.11.635-647","type":"journal-article","created":{"date-parts":[[2019,10,29]],"date-time":"2019-10-29T08:42:44Z","timestamp":1572338564000},"page":"635-647","source":"Crossref","is-referenced-by-count":5,"title":["Process Calculi for Intrusion Detection System in Mobile Ad-hoc Networks"],"prefix":"10.12720","author":[{"name":"Institute of Engineering & Technology, Lucknow, U.P., 226021, India","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Parul","family":"Yadav","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manish","family":"Gaur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"4977","published-online":{"date-parts":[[2018]]},"reference":[{"key":"ref0","unstructured":"[1] M. Alilou and M. Dehghant, \"Upgrading performance of DSR routing protocol in mobile ad hoc networks,\" Transactions on Engineering, Computing and Technology, vol. 5, April 2005."},{"key":"ref1","unstructured":"[2] M. Ilyas, The Hand Book of Ad Hoc Wireless Network, CRC Press LLC, 2003."},{"key":"ref2","unstructured":"[3] P. Yadav and M. Gaur, \"A survey on formal modelling for secure routing in mobile ad hoc networks,\" in Proc. International Conference on Distributed Computing and Internet Technology, 2015."},{"key":"ref3","doi-asserted-by":"publisher","unstructured":"[4] H. Yang, H. Luo, F. Ye, S. Lu, and L. Zhang, \"Security in mobile ad hoc networks,\" Challenges and Solutions IEEE Wireless Communications, February 2004","DOI":"10.1109\/MWC.2004.1269716"},{"key":"ref4","unstructured":"[5] W. Liu and Y. Fang, \"SPREAD: Enhancing data confidentiality in mobile ad hoc networks,\" in Proc. IEEE INFOCOM 2004, 2004."},{"key":"ref5","unstructured":"[6] Y. Hu, A. Perrig, and D. B. Johnson, \"Packet leashes: A defense against wormhole attacks in wireless ad hoc networks,\" Proc. IEEE INFOCOM 2003, vol. 3, pp. 1976-1986, Apr. 2003."},{"key":"ref6","doi-asserted-by":"publisher","unstructured":"[7] S. Buchegger and J. L. Boudec, \"Performance analysis of the CONFIDANT protocol cooperation of nodes-fairness in dynamic ad-hoc networks,\" in Proc. IEEE\/ACM Symp. Mobile Ad Hoc Networking and Computing (MobiHOC), 2002.","DOI":"10.1145\/513800.513828"},{"key":"ref7","doi-asserted-by":"publisher","unstructured":"[8] Y. Wang, G. Attebury, and B. Ramamurthy, \"A survey of security issues in wireless sensor networks,\" IEEE Commun. Surveys & Tutorials, vol. 8, no. 2, Apr. 2006.","DOI":"10.1109\/COMST.2006.315852"},{"key":"ref8","unstructured":"[9] Y. Hu and A. Perrig, \"A survey of secure wireless ad hoc routing,\" IEEE Computer Society, 2004."},{"key":"ref9","doi-asserted-by":"publisher","unstructured":"[10] Y. Hu and D. B. Johonson, \"Securing quality-of-service route discovery in on-demand routing for ad hoc networks,\" Proc. ACM SASN, Oct. 20, 2004.","DOI":"10.1145\/1029102.1029120"},{"key":"ref10","unstructured":"[11] X. Fei and W. Wang, \"Modeling and analysis of connectivity in mobile ad hoc networks with misbehaving nodes,\" in Proc. IEEE International Conference on Communications, vol. 4, pp. 1879-1884, 2006."},{"key":"ref11","unstructured":"[12] H. Lundgren, \"Implementation and real-world evaluation of routing protocols for wireless ad hoc networks,\" Licentiate thesis, Uppsala University, 2002."},{"key":"ref12","unstructured":"[13] H. Huttel. Willard Thor Rafnsson, Secrecy in Mobile Adhoc Networks. [Online]. Available: http:\/\/www.cse.chalmers.se\/ rafnsson\/article.pdf"},{"key":"ref13","doi-asserted-by":"publisher","unstructured":"[14] M. L. Pura, V. V. Patriciu, and I. Bica, \"Modeling and formal verification of implicit ondemand secure ad hoc routing protocols in HLPSL and AVISPA,\" International Journal of Computers and Communications, vol. 3, no. 2, pp. 25-32, 2009.","DOI":"10.1109\/ICSTE.2010.5608820"},{"key":"ref14","doi-asserted-by":"publisher","unstructured":"[15] R. Chretien and S. Delaune, \"Formal analysis of privacy for routing protocols in mobile ad hoc networks,\" in Principles of Security and Trust, 2013.","DOI":"10.1007\/978-3-642-36830-1_1"},{"key":"ref15","doi-asserted-by":"publisher","unstructured":"[16] X. Donghong1, J. Shujuan, and Q. Yong, \"Security properties analysis of routing protocol for MANET,\" in Proc. Second International Conference on Networks Security, Wireless Communications and Trusted Computing, pp. 405-408, 2010.","DOI":"10.1109\/NSWCTC.2010.100"},{"key":"ref16","unstructured":"[17] W. Mallouli, B. Wehbi, A. Cavalli, and S. Maag, \"Formal supervision of mobile ad hoc networks for security flaws detection,\" in Book chapter in Security Engineering Techniques and Solutions for Information Systems: Management and Implementation, Information Science Reference - IGI Global, May 2011."},{"key":"ref17","doi-asserted-by":"publisher","unstructured":"[18] A. Mishra, K. Nadkarni, and A. Patcha, \"Intrusion detection in wireless ad hoc networks,\" IEEE Wireless Communications, vol. 11, no. 1, pp. 48-60, 2004.","DOI":"10.1109\/MWC.2004.1269717"},{"key":"ref18","doi-asserted-by":"publisher","unstructured":"[19] G. Lucia and S. Rossi, \"A process calculus for energy-aware multicast communications of mobile ad hoc networks,\" Wireless Communications and Mobile Computing, vol. 13, no. 3, pp. 296-312, 2013.","DOI":"10.1002\/wcm.2207"}],"container-title":["Journal of Communications"],"original-title":[],"link":[{"URL":"http:\/\/www.jocm.us\/uploadfile\/2018\/1026\/20181026021043218.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,30]],"date-time":"2020-12-30T03:05:12Z","timestamp":1609297512000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jocm.us\/index.php?m=content&c=index&a=show&catid=197&id=1273"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":19,"URL":"https:\/\/doi.org\/10.12720\/jcm.13.11.635-647","relation":{},"ISSN":["2374-4367"],"issn-type":[{"type":"print","value":"2374-4367"}],"subject":[],"published":{"date-parts":[[2018]]}}}