Hardware and Software Co-Verification from Security Perspective.
Kejun ChenQingxu DengYumin HouYier JinXiaolong GuoPublished in: MTV (2019)
Keyphrases
- hardware and software
- high security
- low cost
- java card
- computer systems
- smart card
- cryptographic protocols
- integrity verification
- access control
- hardware software
- security requirements
- remote monitoring
- network security
- information security
- software and hardware implementations
- model checking
- intrusion detection
- databases
- real time
- security policies
- security properties
- wireless sensor networks
- data mining