6293 search results - page 19 / 1259 » Information Flow Testing |
ENTCS
2008
13 years 7 months ago
2008
The ability to enforce usage policies attached to data in a fine grained manner requires that the system be able to trace and control the flow of information within it. This paper...
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
Current information systems are more and more complex. They require more interactions between different components and users. So, ensuring system security must not be limited to us...
PROFES
2007
Springer
14 years 1 months ago
2007
Springer
Reference processes are supposed to be the basis for collaboration and mature cooperation in software development. Large business organizations need large and diverse reference pro...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
VTS
2000
IEEE
13 years 12 months ago
2000
IEEE
Delay defects can escape detection during the normal production test flow, particularly if they do not affect any of the long paths included in the test flow. Some defect types ca...