Sciweavers

6952 search results - page 353 / 1391
» The information integrity imperative
Sort
View
DAISD
1994
104views more  DAISD 1994»
15 years 8 months ago
Validating Constraints with Partial Information: Research Overview
We are interested in the problem of validating the consistency of integrity constraints when data is modi ed. In particular, we consider how constraints can be checked with only p...
Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeff...
IJISEC
2007
149views more  IJISEC 2007»
15 years 6 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
JTAER
2008
116views more  JTAER 2008»
15 years 6 months ago
Disruptions in Information Flow: A Revenue Costing Supply Chain Dilemma
The integration of supply chains as a mechanism for value creation is largely dependent on continuous flow of real time accurate information from the customer back upstream to the...
Albert Munoz, Michael D. Clements
CASES
2005
ACM
15 years 8 months ago
Hardware support for code integrity in embedded processors
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
Milena Milenkovic, Aleksandar Milenkovic, Emil Jov...
DAC
2009
ACM
16 years 1 months ago
Information hiding for trusted system design
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
Junjun Gu, Gang Qu, Qiang Zhou