135 search results - page 20 / 27 » Encompassing Attacks to Attacks in Abstract Argumentation Fr... |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
COMPSAC
2009
IEEE
14 years 3 days ago
2009
IEEE
Abstract—In recent years, cost-sensitive intrusion response has gained significant interest, mainly due to its emphasis on the balance between potential damage incurred by the i...
PPDP
2010
Springer
13 years 5 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
Wireless sensor networks (WSNs) have recently attracted a lot of interest due to the range of applications they enable. Unfortunately, WSNs are exposed to numerous security threat...
ISICA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and ...