Follow
Manu Sudhakara Hegde
Manu Sudhakara Hegde
Research Intern, Manipal Institute of Technology (MIT), Manipal University, India
Verified email at learner.manipal.edu - Homepage
Title
Cited by
Cited by
Year
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
122012
Alert-BDI: BDI model with adaptive alertness through situational awareness
MS Hegde, S Singh
2013 International Conference on Advances in Computing, Communications and …, 2013
52013
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
42012
Aware-BDI: An Extension of the BDI Model incorporating Situational Awareness
MS Hegde, S Singh
International Conference on Communication Systems and Network Technologies …, 2013
32013
Safe buzz: adaptive security for multi-agents through situational awareness
MS Hegde, S Singh
International Journal of Autonomous and Adaptive Communications Systems 10 …, 2017
22017
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
The system can't perform the operation now. Try again later.
Articles 1–6