2468 search results - page 483 / 494 » Aggregation operators 2003 |
CCS
2003
ACM
14 years 22 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
CTRSA
2003
Springer
14 years 21 days ago
2003
Springer
Exposure of secret keys seems to be inevitable, and may in practice represent the most likely point of failure in a cryptographic system. Recently, the notion of intrusion-resilien...
DAWAK
2003
Springer
14 years 21 days ago
2003
Springer
In a data warehouse (DW) environment, when the operational environment does not posses or does not want to inform the data about the changes that occurred, controls have to be impl...
DBISP2P
2003
Springer
14 years 21 days ago
2003
Springer
Databases have employed a schema-based approach to store and retrieve structured data for decades. For peer-to-peer (P2P) networks, similar approaches are just beginning to emerge,...
DRM
2003
Springer
14 years 21 days ago
2003
Springer
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...