CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization.
Zirong ChenIssa LiHaoxiang ZhangSarah Masud PreumJohn A. StankovicMeiyi MaPublished in: CoRR (2023)
Keyphrases
- intelligent assistant
- knowledge representation
- formal model
- security requirements
- key management
- scalar product
- key exchange protocol
- formal analysis
- data sets
- standard model
- security mechanisms
- secure communication
- group communication
- security level
- key distribution
- security analysis
- multi party
- security issues
- smart card
- website
- genetic algorithm