3821 search results - page 127 / 765 » A Security Model for Aglets |
PKC
2007
Springer
14 years 1 months 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...
CRYPTO
2008
Springer
13 years 9 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...
IEEEIAS
2007
IEEE
14 years 2 months 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...
GAMESEC
2010
13 years 5 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...
SIN
2009
ACM
14 years 2 months ago
2009
ACM
Security managers often regard human behaviour as a security liability, but they should accommodate it within their organisation’s information security management procedures. To...