Login / Signup
Generating SPARK from Event-B, Providing Fundamental Safety and Security.
Asieh Salehi Fathabadi
Dana Dghaym
Thai Son Hoang
Michael J. Butler
Colin F. Snook
Published in:
MEDI Workshops (2022)
Keyphrases
</>
information security
security issues
access control
event detection
security policies
sensitive data
real time
security management
user friendliness
united states
network security
risk assessment
functional requirements
security properties
security problems
security threats
safety critical