C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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