Login / Signup
Verifying System-Level Security of a Smart Ballot Box.
Dana Dghaym
Thai Son Hoang
Michael J. Butler
Runshan Hu
Leonardo Aniello
Vladimiro Sassone
Published in:
ABZ (2021)
Keyphrases
</>
functional requirements
levels of abstraction
higher level
smart grid