A Formal Analysis of Data Distribution Service Security.
Binghan WangHui LiJingjing GuanPublished in: AsiaCCS (2024)
Keyphrases
- relational databases
- data distribution
- formal analysis
- ban logic
- data streams
- index structure
- databases
- formal methods
- data points
- high dimensional data
- database
- agent model
- management system
- web services
- security policies
- security requirements
- information security
- streaming data
- sensor networks
- access control
- xml documents
- security issues
- neural network
- authentication protocol
- multi dimensional
- data sets