5665 search results - page 113 / 1133 » Introduction to Computer Security |
ESORICS
2008
Springer
13 years 10 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...
CCS
2009
ACM
14 years 3 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
14 years 3 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...
ASIACRYPT
2005
Springer
14 years 2 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...
ACSAC
2010
IEEE
13 years 7 months 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...