1995 search results - page 18 / 399 » Belief in Information Flow |
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
ENTCS
2008
13 years 8 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...
KES
2007
Springer
14 years 2 months ago
2007
Springer
NIPS
2003
13 years 10 months ago
2003
Recent research has demonstrated that useful POMDP solutions do not require consideration of the entire belief space. We extend this idea with the notion of temporal abstraction. ...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...