However, most of the existing authentication schemes which are used to fix the security drawbacks lead to heavy computations and large storage burdens on the vehicle onboard unit (OBU). Additionally, the communication channels between vehicles and the infrastructure lack various security features due to the inferior wireless characteristics of their environment.
It is crucial to support emergency applications provided by vehicular adhoc network (VANET) through enabling vehicles to quickly access to the infrastructure and consequently request rescue services. We provide experimental results demonstrating the efficacy of our technique (originally appeared in the Proceedings of Fundamental Approaches to Software Engineering-20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017).
We implemented our framework as a tool, StaticGen (supporting software: StaticGen ), analyzing a corpus of 30 Android applications. Our technique involves constructing a hypergraph representation of the source code, traversing the hypergraph with respect to a user-defined query, and generating the corresponding set of sequence diagrams. The framework provides a query refinement system to guide the user to interesting interactions in the source code. We present a framework for static generation of UML sequence diagrams from object-oriented source code. Sequence diagrams generated from legacy code are independent of existing documentation that may have eroded. UML sequence diagrams are visual representations of object interactions in a system and can provide valuable information for program comprehension, debugging, maintenance, and software archeology.