722 search results - page 48 / 145 » Information Theory and Security: Quantitative Information Fl... |
167
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We present a simple but efficient model for object segmentation in video scenes that integrates motion and color information in a joint probabilistic framework. Optical flow is mo...
168
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
180
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
136
click to vote
TGC
2007
Springer
16 years 12 days ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...