Sophisticated security verification on routing repaired balanced cell-based dual-rail logic against side channel analysis.
Wei HeShivam BhasinAndrés OteroTarik GrabaEduardo de la TorreJean-Luc DangerPublished in: IET Inf. Secur. (2015)
Keyphrases
- high security
- asynchronous circuits
- java card
- verification method
- model checking
- inter domain
- integrity verification
- model checker
- information security
- cryptographic protocols
- intrusion detection
- high speed
- classical logic
- logic programming
- access control
- security policies
- mobile ad hoc networks
- key management
- multi valued
- security systems
- statistical databases
- linear time temporal logic
- smart card
- routing protocol
- security issues
- routing problem
- network security
- real world
- secure routing
- formal verification
- security protocols
- security mechanisms
- network topology
- routing algorithm
- ad hoc networks
- logic programs
- encryption scheme
- network layer
- formal methods
- rfid tags
- wireless sensor networks