Formal Modelling and Implementation of Clark-Wilson Security Policy with FoCaLiZe
Fatima Haloua، Messaoud Abbas، Rachid Djerbi، Mohammed Mounir Bouhamed
الصفحات 1-52024أخرى وصول مغلقعدّة مصادر 3
المُخرَجات البحثية
An Authenticated Method for a Secure Changing Password
Mostefa Kara، Konstantinos Κarampidis، Laid Kenioua، Manolis G. Tampouratzis، Muath AlShaikh، Giorgos M. Papadourakis، Abdelkader Laouid
الصفحات 1-62024أخرى وصول مغلقعدّة مصادر 1
SE-Half-UNet: Accurate and Low-Cost Retinal Vessel Segmentation from Fundus Images
Anouar Khaldi، Belal Khaldi، Mohamed Ben Bezziane، Khaled Hebbache، Samir Guediri، Siham Hasan
الصفحات 1-82024أخرى وصول مغلقعدّة مصادر 4