Login / Signup
A Language for Analyzing Security of IOT Systems.
Delphine Beaulaton
Najah Ben Said
Ioana Cristescu
Régis Fleurquin
Axel Legay
Jean Quilbeuf
Salah Sadou
Published in:
SoSE (2018)
Keyphrases
</>
management system
security systems
programming language
single point of failure
access control
computer systems
information security
security problems
sensor networks
complex systems
retrieval systems
security issues
security analysis
high assurance