5476 search results - page 108 / 1096 » Resettably Secure Computation |
141
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
151
click to vote
ICPPW
2009
IEEE
15 years 10 months ago
2009
IEEE
—Pervasive computing is fast becoming a reality with rapid advance in computing and networking technologies. It has the characteristics of scalability, invisibility, and the abse...
140
click to vote
ESORICS
2008
Springer
15 years 5 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...
121
click to vote
CCS
2009
ACM
15 years 10 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...
114
click to vote
CCS
2009
ACM
15 years 10 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...