1995 search results - page 118 / 399 » Belief in Information Flow |
ASIAN
2006
Springer
14 years 1 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
ERSHOV
2006
Springer
14 years 2 days ago
2006
Springer
Abstract. Information flow exhibited by multithreaded programs is subtle because the attacker may exploit scheduler properties when deducing secret information from publicly observ...
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
Web pages, like people, are often known by others in a variety of contexts. When those contexts are sufficiently distinct, a page's importance may be better represented by mu...
ENDM
2010
13 years 5 months ago
2010
In this paper we show and discuss a family of inequalities for solving a variant of the classical vehicle routing problem where also a lower bound is considered. The inequalities ...
BIRTHDAY
2008
Springer
14 years 4 days ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...