CitySpec with shield: A secure intelligent assistant for requirement formalization.
Zirong ChenIsaac LiHaoxiang ZhangSarah PreumJohn A. StankovicMeiyi MaPublished in: Pervasive Mob. Comput. (2023)
Keyphrases
- intelligent assistant
- security properties
- highly efficient
- security issues
- knowledge representation
- lightweight
- intrusion detection
- operating system
- formal model
- databases
- web services
- security requirements
- security mechanisms
- security analysis
- search engine
- authentication scheme
- diffie hellman
- logical language
- artificial intelligence