Login / Signup
Automated Assertion Checker Generator and Information Flow Tracking for Security Verification.
Miguel Angel Alfaro Zapata
Amirhossein Shahshahani
Zeljko Zilic
Published in:
ISQED (2024)
Keyphrases
</>
information flow
information security
communication networks
flow analysis
social networks
information flows
particle filter
human operators
flow graph
high security
model checking
functional modules
smart card
emergency management
reactive systems
multi context systems