Mohamed Benmohammed

Afifa Ghenai, Mohamed Youcef Badaoui, Mohamed Benmohammed

Nowadays, better driving also means better braking. To this end, vehicle designers must find all failures during the design phase of antilock braking systems which play an important role in automobiles safety. However, mechatronic systems are so complex and failures can be badly identified. So it is necessary to propose a design approach of an antilock braking system which will be able to avoid wheels locking during braking and maintain vehicle stability. This paper describes this approach, in which we model the functional and the dysfunctional behavior of an antilock braking system using stopwatch Petri nets.

Noureddine Chikouche, Foudil Cherif, Mohamed Benmohammed

Radio Frequency Identification (RFID) and biometric technologies saw fast evolutions during the last years and which are used in several applications, such as access control. Among important characteristics in the RFID tags, we mention the limitation of resources (memory, energy, ...). Our work focuses on the design of a RFID authentication protocol which uses biometric data and which confirms the secrecy, the authentication and the privacy. Our protocol requires a PRNG (Pseud-Random Number Generator), a robust hash function and Biometric hash function. The Biometric hash function is used to optimize and to protect biometric data. For Security analysis of protocol proposed, we will use AVISPA and SPAN tools to verify the authentication and the secrecy.