77 search results - page 9 / 16 » The gap between cryptography and information security |
172
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
152
Voted
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...
187
click to vote
ICONFERENCE
2012
14 years 1 months ago
2012
As Facebook has become global, users from different cultural and socio-political contexts have joined the site. We present a case study investigating how both current and historic...
155
click to vote
IPPS
2008
IEEE
16 years 13 days ago
2008
IEEE
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
164
click to vote
SP
2007
IEEE
16 years 9 days ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...