848 search results - page 3 / 170 » Secure Information Flow for Distributed Systems |
DEBS
2009
ACM
14 years 1 days ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
IEEEARES
2010
IEEE
14 years 12 days ago
2010
IEEE
SIGADA
2004
Springer
13 years 11 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
BIRTHDAY
2008
Springer
13 years 7 months 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...
ASIAN
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...