3811 search results - page 340 / 763 » The Safe-Tcl Security Model |
165
Voted
ISI
2004
Springer
16 years 27 days ago
2004
Springer
We aligned two fundamentally different models of smallpox transmission after a bioterrorist attack: A location-explicit multi-agent model (BioWar) and the conventional epidemiologi...
194
click to vote
SAFECOMP
2007
Springer
16 years 1 months ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
206
click to vote
WOSP
2005
ACM
16 years 1 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
231
Voted
WWW
2006
ACM
16 years 8 months ago
2006
ACM
Today, the Web is increasingly used as a platform for distributed services, which transcend organizational boundaries to form federated applications. Consequently, there is a grow...
168
click to vote
ASIACRYPT
2007
Springer
16 years 1 months ago
2007
Springer
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...