556 search results - page 97 / 112 » An Abstract Reduction Model for Computer Security Risk |
147
Voted
TITB
2010
14 years 10 months ago
2010
Abstract--Modern e-Health systems require advanced computing and storage capabilities, leading to the adoption of technologies like the grid and giving birth to novel health grid s...
162
Voted
CIE
2007
Springer
15 years 7 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
124
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
138
Voted
PET
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. As decentralized computing scenarios get ever more popular, unstructured topologies are natural candidates to consider running mix networks upon. We consider mix network ...
114
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...