GlucOS: Security, correctness, and simplicity for automated insulin delivery.
Hari VenugopalanShreyas Madhav Ambattur VijayanandCaleb StanfordStephanie CrossenSamuel T. KingPublished in: CoRR (2024)
Keyphrases
- information security
- security problems
- security issues
- security requirements
- intrusion detection
- semi automated
- access control
- human operators
- security policies
- information assurance
- computer security
- encryption scheme
- network security
- statistical databases
- security vulnerabilities
- diabetes mellitus
- fully automated
- security mechanisms
- computer networks
- cyber security
- data security
- security threats
- key management
- automated analysis
- security level
- long term
- control system