GRAS: A Group Reliant Authentication Scheme for V2V Communication in VANET

Auxeeliya Jesudoss, Sulaiman Ashraph and Ratnakar Kotnana.

ABSTRACT

Unlike fixed or wired networks, mobile ad-hoc networks pose a number of challenges for peer-to-peer communication due to their dynamic nature. This paper presents a novel framework for vehicleto- vehicle communication controlled and facilitated by a group leader within a group of vehicles. A communication model for a pure ad-hoc network is developed with much concern about the privacy and security of the system, for the ease of effective communication between vehicles with a reduced communication and computational overhead when no fixed infrastructure is present in the roadsides. In the proposed protocol, vehicles within a radio frequency form a group. They elect their leader based on some criteria who is then responsible for generating a group public and private key pair. Each vehicle is equipped with a tamper resistant OBU which is capable of generating public/private keys pairs and also self-certifies the generated keys based on one way hash chaining technique. Any vehicle joins the group communicates the group leader, authenticates itself to obtain the group key. Later, the vehicle uses the group key to send traffic related messages to the group leader who is responsible for batch verifying the authenticity of the message from different sources and one hop broadcast them to reduce the computation overhead on message verification in each vehicle. In addition, our scheme adopts the k-anonymity approach to protect user identity privacy, where an attacker cannot associate a message with the sending vehicle. Extensive analysis and simulations show that the proposed architecture provides an efficient and fully self organized system management for car-to-car communication without the need of any external infrastructure.

Full Paper in PDF Document

Advertisements

RPD: Reusable Pseudo-Id Distribution for a Secure and Privacy Preserving VANET

Sulaiman Ashraph, Dawoud S Dawoud and Auxeeliya Jesudoss.

ABSTRACT

In any VANET, security and privacy are the two fundamental issues. Obtaining efficient security in vehicular communication is essential without compromising privacy preserving mechanisms. Designing a suitable protocol for VANET by having these two issues in mind is challenging because efficiency, unlinkablity and traceability are the three qualities having contradictions between them. In this paper, we introduce an efficient Reusable Pseudo-id Distribution (RPD) scheme. The proposed protocol is characterized by the Trusted Authority (TA) designating the Road Side Units (RSUs) to generate n reusable pseudo ids and distribute them to the On Board Units (OBUs) on request. RSUs issue the aggregated hashes of all its valid pseudo-ids along with a symmetric shared key and a particular pseudo-id to each vehicle that enters into its coverage range. Through this the signatures and certificates attached to the messages can be eliminated and thus resulting in a significantly reduced packet size. The same anonymous keys can then be re-distributed by the RSUs episodically to other vehicles. We analyze the proposed protocol extensively to demonstrate its merits and efficiency.

Full Paper in PDF Document

Optimum Controller Design of an Overhead Crane

Kamal A. F. Moustafa, Khalifa H. Harib and Farag Omar.

ABSTRACT

The optimum control problem of an overhead crane with uncertain parameters is considered. The crane parameters, e.g., the payload mass, the cable length, hoisting velocity, hoisting acceleration are assumed to be interval quantities in the sense that they are known only within specified lower and upper bounds. The Monte Carlo technique is applied to guarantee the desired performance of the considered overhead crane model. The proposed method is used to find optimum values of the controller gains based on minimizing a least square error function. Simulation results are provided to show the usefulness of the suggested approach to control overhead cranes.

Full Paper in PDF Document

Conservativeness Judgement of the Controller for Systems with Time-Varying Delay

Jiuying Deng, Huifei Deng and Qinruo Wang.

ABSTRACT

The conservatism of asymptotic stability conditions is considered in terms of linear matrix inequalities for time-varying delay systems. The conservative index is defined to evaluate the conservativeness for both delay-dependent and delayindependent stability conditions. The general results on H performance analysis are presented based on descriptor system approach. The optimization approach is given to obtain the upper delay and rational performances for the state-feedback controller of time-delay systems. Experimental results verify the effectiveness of the new method.

Full Paper in PDF Document

Implementing a Dual System of Education to Promote Science, Technology, Engineering and Mathematics

Dr. R. Cherinka, Dr. T. Herring, J. Prezzama and J. Wahnish

ABSTRACT

There is a growing concern in the United States regarding the declining state of education and college enrollment for degrees in the areas of Science, Technology, Engineering and Math (STEM). As part of a STEM Outreach program, The MITRE Corporation is partnering with educational foundation organizations to encourage school districts to seek out and take advantage of new prospects for students. These include opportunities to learn and apply STEM-related constructs and emerging technologies in a contextually relevant setting. This paper presents a model for integrating classroom and on the job activities to enhance the overall educational experience. A case study is presented highlighting MITRE’s STEM program, including: increasing awareness of STEM education and career initiatives, building and maintaining partnerships with Colleges, High School STEM programs and other Community Educational Organizations, and providing internship opportunities.

Full Paper in PDF Document

Refinement of time Petri nets semantics in conflict situations

Adrien Bullich, Hanifa Boucheneb and Olivier H. Roux

ABSTRACT

This paper deals with time Petri nets, where a firing interval is associated with each transition. Three semantics (intermediate, atomic and persistent atomic) are proposed, in the literature for this model, in the context of single-server/multiserver and strong/weak semantics. This paper shows that, in presence of conflicts, these semantics may exhibit some unexpected behaviours and properties. This paper proposes a new semantics more appropriate to deal with conflicts.

Full Paper in PDF Document

Identifying the Evolution Sequence of a Text Document

Katia Mayfield, Emanuel S. Grant, Eunjin Kim and Crystal Alberts

ABSTRACT

An issue that has been around in the case of published documents and now with the technology of the Internet is the management of versions of data being created or digitized. The field of Digital Humanities concentrates on the digitization of documents and also supports the creation of “born digital” documents. Considering the  texts being digitized and those being created electronically, it can become difficult to determine which published (whether on paper or digital) document is an original, which one is a version of the original, and which one may be a version of a version. In this paper, a sample case of the Emily Dickinson poem Faith is a fine invention is analyzed by using the Dempster-Shafer’s theory in order to identify the evolution of three versions of the poem.

Full Paper in PDF Document

Virtual and augmented environments and realistic user interactions to achieve embedded accessibility designs, the VERITAS project Use Cases methodological framework and outcomes

Eleni Chalkia and Evangelos Bekiaris

ABSTRACT

VERITAS (Virtual and augmented environments and realistic user interactions to achieve embedded accessibility designs), is a 7th Framework project, which core concept is the research and development of an open framework for providing inbuilt accessibility support at all the stages of realisation of mainstream ICT and non-ICT technologies. The project aims at delivering to product and software developers ‘generic’ instructions – embedded in an empowering virtual reality platform, for exploring new concepts, designing new interfaces and testing interactive prototypes that will inherit universal accessibility features, including compatibility with established assistive technologies.

When developing interactive systems, within a specific oriented project like VERITAS, the correlation between the system and the users is a challenging task, especially when the main purpose is providing solution to a problem considering users’ environment. The Use Cases come to provide a representation of the contract between the stakeholders and the system’s behavior. The Use Cases are used as an assistive tool to the designers, to help them understand and create computer systems and applications as artifacts of human activity. In this paper we will present the VERITAS project, the methodology followed for the extraction of its Use Cases providing selected examples of the procedure followed.

 

Full Paper in PDF Document

Transitioning to a Global Classroom

Dr. Allan CHASEY, Lisa G. HOGLE

ABSTRACT

The world is no longer comprised of isolated pockets of communities, but now has become an interdependent web that spans the entire globe. Training must be able to reach across the globe to provide a worldwide training solution. As companies span the globe, education for their employees must do the same.

This is a case study combining design, construction and facility management concepts for advanced technology facilities using web-based technologies. This method provides student’s access to receive the necessary training while being available at the work site for their companies. It incorporates Project Based Learning (PBL) to provide students a safe environment to experiment, create and sometimes fail, while allowing the opportunity to think, discover, and most importantly, learn.

Technology allows combining online and face to face education for optimal learning. Current research indicates students retain 75% of the information presented when they are engaged and learning by doing. Web-based modules allow students to learn at their own pace while interacting with peers, encouraging collaboration and sharing of lessons learned.  Additionally a face to face learning environment enables review and clarification of topic information as well as practical, real-life application of scenarios that are common to facility and/or project managers.

Full Paper in PDF Document

Towards a Common Research Strategic Roadmap for the Transportation Sector in Europe and beyond

Dr. Evangelos Bekiaris, Matina Loukea, Jean-Pierre Medevielle, Steve Phillips, Wolfgang Steinicke

ABSTRACT

DETRA (Developing a European Transport Research Alliance) is a 7th Framework project, whose concept derives from the so-called Lyon Declaration and concerns the deepening of the European Research Area objectives in transport in order to address the Grand Challenges. Key priorities of this Alliance is to examine the strengths, weaknesses, opportunities and threats (SWOT) in the domain and develop common understanding and approaches to reducing fragmentation and overcoming barriers. The DETRA project aims to meet and exceed the requirements and objectives of the call for an Analysis of the state of ERA development within the transport domain and to develop recommendations for the EC, member states and other stakeholders as well as for the DETRA partner organisations themselves. In this study, particular emphasis is given to the part of DETRA concerning the development of a single trans-European research program, which can be used as a compass for the future research activities of the whole transportation area.

Full Paper in PDF Document