3821 search results - page 213 / 765 » A Security Model for Aglets |
EUROCRYPT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In the bounded-storage model (BSM) for information-theoretically secure encryption and key-agreement one uses a random string R whose length t is greater than the assumed...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
ESSOS
2009
Springer
14 years 4 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
CTRSA
2007
Springer
14 years 3 months ago
2007
Springer
We mathematically explore a model for the shortness and security for passwords that are stored in hashed form. The model is implicitly in the NIST publication [8] and is based on c...
PCI
2009
Springer
14 years 1 months ago
2009
Springer
—Despite the wide adoption by the scientific community, grid technologies have not been given the appropriate attention by enterprises. This is merely due to the lack of enough s...