Towards a Formal Approach Based on Bigraphs for Fog Security: Case of Oil and Gas Refinery Plant.
Ayoub BouheroumZakaria BenzadriFaiza BelalaPublished 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