650 search results - page 56 / 130 » Privacy in Non-private Environments |
ACSAC
2006
IEEE
15 years 1 months ago
2006
IEEE
Several secure computing hardware architectures using memory encryption and memory integrity checkers have been proposed during the past few years to provide applications with a t...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
EUROSSC
2006
Springer
15 years 1 months ago
2006
Springer
Context-aware service platforms need to establish and manage trust relationships for users to know if the user's privacy policies are being enforced and for service providers ...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...
ACSAC
2003
IEEE
15 years 1 months ago
2003
IEEE
We propose an efficient and flexible system for a secure and authentic data exchange in a multiinstitutional environment, where the institutions maintain different databases and p...