A Security Verification System Based on Bilinear Maps in the Multi-cloud Environment.
Ruiqing YueGuangcan YangPeixuan LiJiaqi XieFeipeng JiaoLing ZhanPublished in: ICCEIC (2023)
Keyphrases
- high security
- integrity verification
- java card
- access control
- security issues
- intrusion detection
- security policies
- statistical databases
- information security
- network security
- security problems
- cryptographic protocols
- neural network
- factor authentication
- security systems
- security model
- computer security
- formal methods
- model checking
- data sets
- data integrity
- key management
- security mechanisms
- security threats
- security management
- verification method
- information assurance
- high assurance