6812 search results - page 34 / 1363 » Detection of Information Flows |
ACTA
2005
14 years 9 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
15 years 1 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...
103
click to vote
CSFW
2007
IEEE
15 years 1 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...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we define an observation model based on optical flow information to track objects using particle filter algorithms. Although the optical flow information enables us...
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
