3811 search results - page 260 / 763 » The Safe-Tcl Security Model |
146
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
This paper proves "tight security in the random-oracle model relative to factorization" for the lowest-cost signature systems available today: every hash-generic signatur...
161
click to vote
SEC
2001
15 years 8 months ago
2001
There is a strong demand for techniques to aid development and modelling of security critical systems. Based on general security evaluation criteria, we show how to extend the syst...
132
click to vote
ISI
2006
Springer
15 years 6 months ago
2006
Springer
We address the problem of fairly distributing the cost of system-wide improvements to the security of a transportation infrastructure over the beneficiaries. We present a framework...
174
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
166
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...