3811 search results - page 120 / 763 » The Safe-Tcl Security Model |
161
click to vote
EUROCRYPT
2004
Springer
15 years 10 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...
251
click to vote
GAMESEC
2011
14 years 4 months ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
121
click to vote
FOSSACS
2010
Springer
15 years 11 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...
132
click to vote
ESSOS
2009
Springer
15 years 11 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...
123
click to vote
CTRSA
2007
Springer
15 years 11 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...