Software Defined Perimeter Monitoring and Blockchain-Based Verification of Policy Mapping.
Waleed AkbarJavier Jose Diaz RiveraTalha Ahmed KhanMuhammad AfaqWang-Cheol SongPublished in: APNOMS (2022)
Keyphrases
- software development
- software systems
- source code
- monitoring system
- optimal policy
- formal methods
- computer systems
- user interface
- artificial intelligence
- software architecture
- software tools
- software maintenance
- real time
- formal verification
- software design
- early warning
- health monitoring
- asymptotically optimal
- software projects
- information systems
- neural network
- data sets