Login / Signup

Verifying System-Level Security of a Smart Ballot Box.

Dana DghaymThai Son HoangMichael J. ButlerRunshan HuLeonardo AnielloVladimiro Sassone
Published in: ABZ (2021)
Keyphrases
  • functional requirements
  • levels of abstraction
  • higher level
  • smart grid