145 search results - page 13 / 29 » Preserving Privacy Based on Semantic Policy Tools |
PCI
2005
Springer
14 years 1 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
ESORICS
2000
Springer
13 years 11 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
CSFW
2000
IEEE
14 years 5 days ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
We argue that an analytic proportionality assessment balancing usefulness and burden on individual or group privacy must be conducted throughout the design process to create accep...