Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC.

Abdel-Latif Alshalalfah Ghaith Bany Hamad Otmane Aït Mohamed

Published in: ISCAS (2019)

Keyphrases

security analysis
security requirements
smart card
public key
high security
encryption scheme
security properties
authentication protocol
proxy signature scheme
mutual authentication
image encryption
encryption algorithm
security model
model checking
access control
authentication scheme
real time