Research of mobile power pack security verification based on scenario simulation.
Guozhong HuangNan WangSiheng SunXiao YangPublished in: Clust. Comput. (2019)
Keyphrases
- high security
- mobile devices
- mobile phone
- cryptographic protocols
- information security
- java card
- mobile environments
- context aware
- integrity verification
- security policies
- real world
- intrusion detection
- mobile commerce
- bin packing
- protocol specification
- distributed systems
- mobile internet
- security systems
- computing environments
- security protocols
- formal methods
- mobile networks
- mobile users
- network security