660 search results - page 54 / 132 » History-Based Access Control and Secure Information Flow |
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
XML documents are frequently used in applications such as business transactions and medical records involving sensitive information. Typically, parts of documents should be visibl...
DOLAP
2000
ACM
14 years 1 months ago
2000
ACM
With the use of data warehousing and online analytical processing (OLAP) for decision support applications new security issues arise. The goal of this paper is to introduce an OLA...
CAI
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
CSREASAM
2009
13 years 9 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
DRM
2005
Springer
14 years 2 months ago
2005
Springer
A software obfuscator is a program O to transform a source program P for protection against malicious reverse engineering. O should be correct (O(P) has same functionality with P)...