A case study in language-based security: building an I/O library for Wyvern.
Jennifer A. FishDarya MelicherJonathan AldrichPublished in: Onward! (2020)
Keyphrases
- input output
- programming language
- access control
- language learning
- network security
- natural language
- case study
- security policies
- computer security
- intrusion detection
- information security
- security issues
- computer networks
- security protocols
- specification language
- security mechanisms
- security requirements
- statistical databases
- high level