Ali Mili

A cybersecurity model in cloud computing environments

Latifa Ben Arfa Rabai, Mouna Jouini, Anis Ben Aissa et al. · Journal of King Saud University - Computer and Information Sciences · 2012 · 101 citations · Full text

Computing, Cloud Computing, Cybersecurity +7

On the lattice of specifications: Applications to a specification methodology

Noureddine Boudriga, Fathi Elloumi, Ali Mili · Formal Aspects of Computing · 1992 · 83 citations

Computing, Computer Science, Formal Methods +11

Quantifying security threats and their potential impacts: a case study

Anis Ben Aissa, Robert K. Abercrombie, Frederick T. Sheldon et al. · Innovations in Systems and Software Engineering · 2010 · 60 citations

Computing, Cybersecurity, Risk Management +16

Embedding a demonic semilattice in a relation algebra

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier et al. · Theoretical Computer Science · 1995 · 49 citations

Natural Sciences, Mathematics, Algebra +6

Relational heuristics for the design of deterministic programs

Ali Mili, Jules Desharnais, Fatma Mili · Acta Informatica · 1987 · 47 citations

Computing, Computer Science, Computer Systems +14