6293 search results - page 26 / 1259 » Information Flow Testing |
ACTA
2005
13 years 7 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
DAC
2010
ACM
13 years 11 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
IS
2007
13 years 7 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
STACS
2005
Springer
14 years 1 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...