Bhed Bahadur Bista

Learn More
One of the important techniques in communication system design is the composition of service and protocol specifications. In this paper, we have presented a new approach to the composition technique based on the weak bisimulation concept. The main objective is to combine service specifications and protocol specifications individually and simultaneously. The(More)
The vehicular wireless ad hoc network (VANET), a specialized wireless sensor network, is booming to provide safety and comfort for passengers. Special features of VANET, such as high mobility nodes and large scale node population, make the Quality of Service (QoS) task extremely challenging. To provide Quality of Service (QoS) to traffic safety and(More)
Future development of Intelligent Transportation Systems (ITS) depends on Vehicular Ad-hoc Networks (VANETs) in which communications will help to improve traffic safety and efficiency through exchanging information among vehicles. As each vehicle cannot be a source of all messages in VANET, most communications depend on the information received from other(More)
In this paper, in order to reduce communication overhead in mobile ad hoc networks, we present a zone-based hierarchical link state routing protocol with gateway flooding (ZHLS-GF) in which a new flooding scheme, called gateway flooding is proposed. ZHLS-GF is based on ZHLS, a zone-based hierarchical link state routing protocol. ZHLS is a hierarchical(More)
In this paper, we propose and develop a security scanner with high portability and usability. Recently, illegal access has been increasing explosively. Not only experts but also beginners need to cope up with vulnerability of a system promptly and properly. In such cases, a security scanner is an efficient tool to point out the vulnerability. However, for(More)
The past decade has witnessed a growing interest in vehicular networking and its panoply of potential applications among vehicles. Olariu and his co-workers [1, 2, 3] have put forth the vision of a new type of cloud, Vehicular Cloud Computing (VCC). It is clear that the VCC concept raise exceptional security and privacy challenges. It is also clear that if(More)
Vehicular Ad-hoc Network (VANET) security is one of the central issues in vehicular communications since each vehicle has to rely on messages sent out by the peers where the received message could be malicious. In order to protect VANETs from malicious actions, each vehicle must be able to evaluate, decide and react locally on the information received from(More)