40 citations · 86 across the 17 of their papers we have counts for
7 papers · 1 filter
A Theorem for Secrecy in Tagged Protocols Using the Theory of Witness-Functions
Jaouhar Fattahi
In this paper, we enunciate the theorem of secrecy in tagged protocols using the theory of witness-functions and we run a formal analysis on a new tagged version of the Needham-Sch…
Relaxed Conditions for Secrecy in a Role-Based Specification
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we look at the property of secrecy through the growth of the protocol. Intuitively, an increasing protocol preserves the secret. For that, we need functions to estim…
Considerations regarding security issues impact on systems availability
Emil Pricop, Sanda Florentina Mihalache, Nicolae Paraschiv +2
Control systems behavior can be analyzed taking into account a large number of parameters: performances, reliability, availability, security. Each control system presents various s…
Circular Antenna Array Design for Breast Cancer Detection
Kalthoum Ouerghi, Najib Fadlallah, Amor Smida +3
Microwave imaging for breast cancer detection is based on the contrast in the electrical properties of healthy fatty breast tissues. This paper presents an industrial, scientific a…
Secrecy by Witness-Functions on Increasing Protocols
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we present a new formal method to analyze cryptographic protocols statically for the property of secrecy. It consists in inspecting the level of security of every co…
Fusion of ANN and SVM Classifiers for Network Attack Detection
Takwa Omrani, Adel Dallali, Bilgacem Chibani Rhaimi +1
With the progressive increase of network application and electronic devices (computers, mobile phones, android, etc.) attack and intrusion, detection has become a very challenging…