Formal Modelling and Security Analysis of Inter-Operable Systems.

Abdelhakim Baouya Samir Ouchani Saddek Bensalem

Published in: IEA/AIE (2022)

Keyphrases

security analysis
computer systems
fine grained
high dimensional
low cost
smart card
distributed systems
image compression
security requirements