3811 search results - page 354 / 763 » The Safe-Tcl Security Model |
180
click to vote
ACNS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we model the adversary (eavesdropper) present in the wireless communication medium using probabilistic models. We precisely formulate the security-throughput optimiz...
146
click to vote
CCS
1994
ACM
15 years 11 months ago
1994
ACM
Computational e-mail systems, which allow mail messages to containcommandscripts that automaticallyexecute upon receipt, can be used as a basis for building a variety of collabora...
175
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
180
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
216
click to vote
HPCNCS
2007
15 years 8 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...