A secure insulin infusion system using verification monitors.
Abhinandan PandaSrinivas PinisettyPartha S. RoopPublished in: MEMOCODE (2021)
Keyphrases
- cryptographic protocols
- integrity verification
- high security
- diabetes mellitus
- model checking
- diabetic patients
- key management
- formal verification
- security analysis
- signature verification
- data sets
- security mechanisms
- face verification
- security requirements
- security issues
- lightweight
- errors occur
- data encryption
- verification method
- safety critical
- distributed systems