3811 search results - page 39 / 763 » The Safe-Tcl Security Model |
CRITIS
2008
15 years 1 months ago
2008
CTRSA
2005
Springer
15 years 5 months ago
2005
Springer
We present the first blind identity-based signcryption (BIBSC). We formulate its security model and define the security notions of blindness and parallel one-more unforgeability ...
ESORICS
2009
Springer
16 years 13 days ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
102
click to vote
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
133
click to vote
CSFW
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...