Login / Signup
CitySpec with Shield: A Secure Intelligent Assistant for Requirement Formalization.
Zirong Chen
Issa Li
Haoxiang Zhang
Sarah Masud Preum
John A. Stankovic
Meiyi Ma
Published 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