12 search results - page 2 / 3 » Checking for k-Anonymity Violation by Views |
FM
2009
Springer
13 years 12 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
CSMR
2006
IEEE
13 years 11 months ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
FOIKS
2004
Springer
13 years 9 months ago
2004
Springer
When two or more databases are combined into a global one, integrity may be violated even when each database is consistent with its own local integrity constraints. Efficient metho...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
EDBT
2006
ACM
14 years 5 months ago
2006
ACM
In authorization-transparent access control, users formulate their queries against the database schema rather than against authorization views that transform and hide data. The Tru...