Behavioral Equivalence of Security-Oriented Interactive Systems.
GuanJun LiuChangjun JiangPublished in: IEICE Trans. Inf. Syst. (2016)
Keyphrases
- interactive systems
- human computer interaction
- access control
- information security
- security requirements
- user interface
- digital entertainment
- information assurance
- security level
- security policies
- security issues
- computer security
- intrusion detection
- network security
- functional requirements
- security protocols
- expert systems
- neural network
- network management
- key management
- security analysis
- security systems
- cloud computing
- security problems