5475 search results - page 291 / 1095 » Model Driven Security |
187
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
Protocols for authenticated key exchange (AKE) allow parties within an insecure network to establish a common session key which can then be used to secure their future communicati...
185
click to vote
PKC
2007
Springer
16 years 23 days ago
2007
Springer
: This paper addresses the security of optimistic fair exchange in a multi-user setting. While the security of public key encryption and public key signature schemes in a single-us...
198
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
The Random Oracle Model and the Ideal Cipher Model are two well known idealised models of computation for proving the security of cryptosystems. At Crypto 2005, Coron et al. showed...
156
click to vote
IEEEIAS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
180
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...