Login / Signup
A Framework for Automating Security Assessments with Deductive Reasoning.
Mauro Andreolini
Andrea Artioli
Luca Ferretti
Mirco Marchetti
Michele Colajanni
Published in:
ITASEC (2023)
Keyphrases
</>
deductive reasoning
information security
main contribution
intrusion detection
key management
security issues
theoretical framework
wireless sensor networks
access control
database
image sequences
website
information sharing
e learning
formal model
data mining
databases
data sets