756 search results - page 48 / 152 » Modeling Computational Security in Long-Lived Systems |
128
click to vote
FOCS
1999
IEEE
15 years 4 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
CSREASAM
2006
15 years 1 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
204
click to vote
AMW
2011
14 years 3 months ago
2011
The goal of this paper is to permit secure outsourced system evaluation. We propose a method for generating synthetic databases and obfuscating a workload of queries in order to pr...
ITRUST
2004
Springer
15 years 5 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
125
click to vote
TMC
2011
14 years 6 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...