Metric for Security Activities Assisted by Argumentative Logic.
Tarek BouyahiaMuhammad Sabir IdreesNora Cuppens-BoulahiaFrédéric CuppensFabien AutrelPublished in: DPM/SETOP/QASA (2014)
Keyphrases
- logic programming
- security requirements
- information security
- activity recognition
- security issues
- malicious activities
- computer security
- access control
- security threats
- intrusion detection
- distance metric
- network security
- statistical databases
- security systems
- multi valued
- content analysis
- modal logic
- distance function
- security problems
- asynchronous circuits
- identity theft
- predicate logic
- computer supported
- authentication protocol
- security protocols
- classical logic
- automated reasoning
- database systems
- learning activities
- logic programs
- distributed systems