5475 search results - page 270 / 1095 » Model Driven Security |
166
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
170
click to vote
SAFECOMP
2007
Springer
16 years 22 days ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
194
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of secure identification: user U proves to server S that he knows an agreed (possibly low-entropy) password w, while giving away as little information on w ...
169
click to vote
FUIN
2008
15 years 6 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
209
click to vote
ICICS
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...