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