1597 search results - page 79 / 320 » Mental Models of Computer Security |
160
click to vote
INFORMATICALT
2007
15 years 3 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
123
Voted
CCS
2009
ACM
15 years 10 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...
158
Voted
GI
2003
Springer
15 years 9 months ago
2003
Springer
: The Byzantine failure model allows arbitrary behavior of a certain fraction of network nodes in a distributed system. It was introduced to model and analyze the effects of very s...
171
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
Most current anomaly Intrusion Detection Systems (IDSs) detect computer network behavior as normal or abnormal but cannot identify the type of attacks. Moreover, most current intr...
118
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
To accommodate applications with highly variable degrees and categories of Quality of Service (QoS) requirements, a major effort has been invested to overcome the traditional best-...