overbearing
发表于 2025-3-25 05:27:37
Using SAT-Solvers to Compute Inference-Proof Database Instancesand a user profile. In this paper, we show how the problem of generating an inference-proof database instance can be represented by the partial maximum satisfiability problem. We present a prototypical implementation that relies on highly efficient SAT-solving technology and study its performance in a number of test cases.
Ballerina
发表于 2025-3-25 10:43:38
Dynamic Security Rules for Geo DataC model to express security policies for spatial applications. We first add to Or-BAC the spatial predicates defined in the OpenGIS Geometry Model . We then show how to model various types of spatial contexts. We finally use these spatial contexts to write security policies for spatial applications.
调味品
发表于 2025-3-25 12:23:24
Ruijin Sun,Ying Wang,Xinshui Wang requirements stemming from requirements of various countries of data origin need to be honoured and taken into account during the data lifecycle. We review practical privacy management challenges arising in large, global organizations and discuss technology needed to address them. As a first exampl
detach
发表于 2025-3-25 19:04:08
Steve Kennewell,Howard Tanner,John Parkinson a service oriented architecture spanning multiple trust domains is difficult because it requires a common specification and distributed enforcement. This paper focuses on the specification and enforcement of obligations. We describe the requirements, the resulting language, and its implementation.
Foam-Cells
发表于 2025-3-25 22:32:31
http://reply.papertrans.cn/27/2630/262995/262995_25.png
Angiogenesis
发表于 2025-3-26 01:42:23
http://reply.papertrans.cn/27/2630/262995/262995_26.png
Needlework
发表于 2025-3-26 05:44:42
http://reply.papertrans.cn/27/2630/262995/262995_27.png
Carcinogenesis
发表于 2025-3-26 09:08:18
http://reply.papertrans.cn/27/2630/262995/262995_28.png
毗邻
发表于 2025-3-26 16:05:55
http://reply.papertrans.cn/27/2630/262995/262995_29.png
巩固
发表于 2025-3-26 17:46:43
http://reply.papertrans.cn/27/2630/262995/262995_30.png