4511 search results - page 278 / 903 » Observation Based System Security |
197
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Coercion-resistance is one of the most important and intricate security requirements for voting protocols. Several definitions of coercion-resistance have posed in the literature,...
204
click to vote
VEE
2009
ACM
16 years 2 months ago
2009
ACM
Virtual machine monitors (VMMs), including hypervisors, are a popular platform for implementing various security functionalities. However, traditional VMMs require numerous compon...
190
click to vote
KBSE
2005
IEEE
16 years 23 days ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
201
click to vote
FOSSACS
2005
Springer
16 years 21 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
218
click to vote
IC
2003
15 years 8 months ago
2003
A group of web caches can be organized into a cooperative hierarchy where a search for a requested object is performed among the cooperating peer caches before the object request ...