3811 search results - page 301 / 763 » The Safe-Tcl Security Model |
168
click to vote
JSS
2006
15 years 6 months ago
2006
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...
172
click to vote
ENTCS
2010
15 years 6 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
176
click to vote
WSC
2004
15 years 8 months ago
2004
Mortgage-Backed-Securities (MBS), as the largest investment class of fixed income securities, have always been hard to price. Because of the following reasons, normal numerical me...
193
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
168
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Much of today's distributed computing takes place in a client/server model. Despite advances in fault tolerance