Security of Pacemakers using Runtime Verification.
Srinivas PinisettyPartha S. RoopVidula SawantGerardo SchneiderPublished in: MEMOCODE (2018)
Keyphrases
- sensitive data
- information security
- privacy preserving
- smart card
- security threats
- java card
- verification method
- model checking
- data mining
- intrusion detection
- security issues
- information assurance
- high security
- asynchronous circuits
- cryptographic protocols
- formal verification
- computer security
- database
- countermeasures
- neural network
- data sets