5475 search results - page 363 / 1095 » Model Driven Security |
166
click to vote
NSDI
2008
15 years 9 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
197
click to vote
ACSW
2003
15 years 8 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
180
click to vote
PROVSEC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
214
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
160
Voted
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...