| Modelling and verification of extensible authentication protocol using spin model checker MS Hegde, HK Jnanamurthy, S Singh International Journal of Network Security & Its Applications 4 (6), 81, 2012 | 11 | 2012 |
| Alert-BDI: BDI model with adaptive alertness through situational awareness MS Hegde, S Singh 2013 International Conference on Advances in Computing, Communications and …, 2013 | 5 | 2013 |
| Formal verification of the Extensible Authentication Protocol using SPIN MS Hegde, HK Jnanamurthy, S Singh Proceedings of the Second International Conference on Computational Science …, 2012 | 4 | 2012 |
| Aware-BDI: An Extension of the BDI Model incorporating Situational Awareness MS Hegde, S Singh International Conference on Communication Systems and Network Technologies …, 2013 | 3 | 2013 |
| Safe buzz: adaptive security for multi-agents through situational awareness MS Hegde, S Singh International Journal of Autonomous and Adaptive Communications Systems 10 …, 2017 | 2 | 2017 |
| An Optimized Hash Map Algorithm for Each Individual Object and an Efficient Addressing Scheme M Raman, MS Hegde, T Jacob, P Kumar, RM Pai | | 2012 |
Sanjay SinghProfessor, Manipal Institute of Technology, Manipal Academy of Higher Education (MAHE), Manipal在 manipal.edu 的电子邮件经过验证
