3811 search results - page 342 / 763 » The Safe-Tcl Security Model |
214
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
164
click to vote
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
179
click to vote
CRYPTO
2003
Springer
16 years 5 hour ago
2003
Springer
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...
173
click to vote
CRYPTO
2009
Springer
16 years 1 months ago
2009
Springer
Collusion-free protocols prevent subliminal communication (i.e., covert channels) between parties running the protocol. In the standard communication model, if one-way functions ex...
190
click to vote
IWCMC
2006
ACM
16 years 22 days ago
2006
ACM
In an era of cooperating ad hoc networks and pervasive wireless connectivity, we are becoming more vulnerable to malicious attacks. Many of these attacks are silent in nature and ...