5665 search results - page 113 / 1133 » Introduction to Computer Security |
114
click to vote
ESORICS
2008
Springer
15 years 3 months ago
2008
Springer
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
105
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Third-party cloud computing represents the promise of outsourcing as applied to computation. Services, such as Microsoft’s Azure and Amazon’s EC2, allow users to instantiate v...
100
Voted
ASIACRYPT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We give improved upper bounds on the communication complexity of optimally-resilient secure multiparty computation in the cryptographic model. We consider evaluating an n...
100
click to vote
ACSAC
2010
IEEE
15 years 6 days ago
2010
IEEE
Patching is a critical security service that keeps computer systems up to date and defends against security threats. Existing patching systems all require running systems. With th...