Login / Signup
Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant.
Ayoub Bouheroum
Zakaria Benzadri
Faiza Belala
Published in:
FiCloud (2019)
Keyphrases
</>
information security
natural gas
intrusion detection
genetic algorithm
network security
security issues
security threats
single image
formal model
formal specification
statistical databases
formal analysis
computer security
security systems
genetic search
security problems
access control
security management
oil field
distributed systems