Login / Signup
TechNETium: Atomic Predicates and Model Driven Development to Verify Security Network Policies.
Davide Berardi
Franco Callegati
Andrea Melis
Marco Prandini
Published in:
CCNC (2020)
Keyphrases
</>
model driven development
information security
intrusion detection
peer to peer
statistical databases
model driven
security requirements
databases
data mining
information systems
business process
service oriented
service oriented architecture
commercial software