3420 search results - page 388 / 684 » A Language-Based Approach to Security |
140
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
196
Voted
ACNS
2005
Springer
16 years 6 days ago
2005
Springer
We consider the following problem: a user U wants to store his files in an encrypted form on a remote file server S. Later the user U wants to efficiently retrieve some of the en...
191
click to vote
CCS
2005
ACM
16 years 6 days 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...
194
click to vote
CIKM
2005
Springer
16 years 6 days ago
2005
Springer
With the emergence of XML as the de facto standard to exchange and disseminate information, the problem of regulating access to XML documents has attracted a considerable attentio...
161
click to vote
ISI
2005
Springer
16 years 5 days ago
2005
Springer
This paper introduces a new approach to a problem of data sharing among multiple parties, without disclosing the data between the parties. Our focus is data sharing among two parti...