Understanding Link Fabrication Attack in Software Defined Network using Formal Methods.
Suleman KhanMustapha Aminu BagiwaAinuddin Wahid Abdul WahabAbdullah GaniAhmed AbdelazizPublished in: ICIoT (2020)
Keyphrases
- formal methods
- safety critical
- formal analysis
- model checking
- software engineering
- development lifecycle
- knowledge based systems
- data flow
- artificial intelligence
- modeling language
- model checker
- process algebra
- computer networks
- wireless sensor networks
- software development
- communication networks
- formal specification
- high density
- reactive systems
- embedded systems
- database
- software architecture