1779 search results - page 90 / 356 » A Formal Model of Data Privacy |
173
Voted
DIAU
2000
Springer
15 years 8 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...
157
click to vote
DBSEC
2011
14 years 7 months ago
2011
Online social networks (OSNs) have experienced tremendous growth in recent years and become a de facto portal for hundreds of millions of Internet users. These OSNs offer attractiv...
146
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we present an approach to secure compartmented data access over an untrusted network using a secure network computing architecture. We describe the architecture and...
118
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
Security communication systems composed of highly reliable components may have few if any failures while undergoing heavy testing or field-usage. This paper combines (i) analysis ...
169
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...